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.rdf
Uwe Egly et al.: Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2003) conf/sat/EglySTWZ03 10.1007/978-3-540-24605-3_17 Comparing Different Prenexing Strategies for Quantified Boolean Formulas. 5 Uwe Egly 1 Martina Seidl 2 Hans Tompits 3 Stefan Woltran 4 Michael Zolda 5 214-228 SAT SAT 2003 2004 provenance information for RDF data of dblp record 'conf/sat/EglySTWZ03' 2017-05-23T01:08:19+0200