Quantified Boolean Formulas


Project Acronym Projekt Kurzbezeichnung
Boolean
 
Project Title (de) Projekttitel (de)
Quantified Boolean Formulas
 
Project Title (en) Projekttitel (en)
Quantified Boolean Formulas
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
S 11409-N23
 

Results 1-20 of 31 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2012
2Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2011
3Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012
4Widl, Magdalena Towards a Uniform Framework to Support the Evolution of Software ModelsKonferenzbeitrag Inproceedings 2011
5Sinz, Carsten ; Egly, Uwe Theory and Applications of Satisfiability Testing – SAT 2014Konferenzband Proceedings2014
6Widl, Magdalena ; Biere, Armin ; Nahir, Amir ; Vos, Tanja Test Case Generation by Grammar-based Fuzzing for Model-driven EngineeringKonferenzbeitrag Inproceedings2012
7Egly, Uwe ; Widl, Magdalena ; Seidl, Martina ; Lonsing, Florian Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
8Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine DiagramsKonferenzbeitrag Inproceedings2013
9Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian SAT-Based Methods for Circuit SynthesisKonferenzbeitrag Inproceedings 2014
10Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. ; Sinz, Carsten ; Egly, Uwe QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014
11Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
12Lonsing, Florian ; Seidl, Martina Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)Konferenzband Proceedings 2016
13Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
14Egly, Uwe On Sequent Systems and Resolution for QBFsKonferenzbeitrag Inproceedings 2012
15Jordan, Charles ; Kaiser, Lukasz ; Lonsing, Florian ; Seidl, Martina MPIDepQBF: Towards Parallel QBF Solving without Knowledge SharingKonferenzbeitrag Inproceedings 2014
16Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
17Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
18Lonsing, Florian ; Egly, Uwe Incremental QBF Solving by DepQBFKonferenzbeitrag Inproceedings2014
19Lonsing, Florian ; Egly, Uwe Incremental QBF SolvingKonferenzbeitrag Inproceedings 2014
20Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016