Comparing Different Prenexing Strategies for Quantified Boolean Formulas - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda. Comparing Different Prenexing Strategies for Quantified Boolean Formulas. In Enrico Giunchiglia, Armando Tacchella, editors, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Volume 2919 of Lecture Notes in Computer Science, pages 214-228, Springer, 2003. [doi]

The following publications are possibly variants of this publication:

Symmetries of Quantified Boolean FormulasManuel Kauers, Martina Seidl. sat 2018: 199-216 [doi]

Quantified Boolean FormulasOlaf Beyersdorff, Mikolás Janota, Florian Lonsing, Martina Seidl. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1177-1221, IOS Press, 2021. [doi]

runs on WebDSL