Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sat/EglySTWZ03
AU - Egly, Uwe
AU - Seidl, Martina
AU - Tompits, Hans
AU - Woltran, Stefan
AU - Zolda, Michael
TI - Comparing Different Prenexing Strategies for Quantified Boolean Formulas.
BT - Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers
SP - 214
EP - 228
PY - 2003//
DO - 10.1007/978-3-540-24605-3_17
UR - https://doi.org/10.1007/978-3-540-24605-3_17
ER -
