5 results on '"Schuppan, Viktor"'
Search Results
2. Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers
3. Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers
4. Enhancing unsatisfiable cores for LTL with information on temporal relevance
5. Extracting unsatisfiable cores for LTL via temporal resolution
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.