search result

Cover von Models and Counter-Models of Quantified Boolean Formulas (Invited Talk)

Models and Counter-Models of Quantified Boolean Formulas (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von A solver for quantified Boolean formulas in negation normal form
Author: Seidl, Martina Search for this author
Year: 2007
Publisher: Wien, Universität
Media group: DISSERTATION
Cover von Definition-Based Dependency Schemes

Definition-Based Dependency Schemes

Year: 2026
Media group: LIPIcs
Cover von QRP+Gen

QRP+Gen

A Framework for Checking Q-Resolution Proofs with Generalized Axioms
Year: 2025
Media group: LIPIcs
Cover von QMusExt

QMusExt

A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
Year: 2023
Media group: LIPIcs
Cover von Theory and Applications of Satisfiability Testing
SAT 2020 : 23rd International Conference, Alghero, Italy, July 3 - 10, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12178
Media group: MONOGRAPHIE
Cover von Software Technologies
Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17 - 21, 2017, Revised Selected Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10748
Media group: MONOGRAPHIE
Cover von Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24 - 25, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8570
Media group: MONOGRAPHIE
Cover von Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)

Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)

Year: 2023
Media group: LIPIcs
Cover von UML @ Classroom
An Introduction to Object-Oriented Modeling
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Undergraduate topics in computer science
Media group: MONOGRAPHIE
OPEN V 11.1.0.0