iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sat/EglySTWZ03.xml
Uwe Egly Martina Seidl Hans Tompits Stefan Woltran Michael Zolda Comparing Different Prenexing Strategies for Quantified Boolean Formulas. 214-228 https://doi.org/10.1007/978-3-540-24605-3_17 2003 conf/sat/2003 SAT db/conf/sat/sat2003.html#EglySTWZ03