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.dagstuhl.de/rec/conf/sat/CreignouDER08.rdf
Nadia Creignou et al.: New Results on the Phase Transition for Random Quantified Boolean Formulas. (2008) conf/sat/CreignouDER08 10.1007/978-3-540-79719-7_5 New Results on the Phase Transition for Random Quantified Boolean Formulas. 4 Nadia Creignou 1 Hervé Daudé 2 Uwe Egly 3 Raphaël Rossignol 4 34-47 SAT SAT 2008 2008 provenance information for RDF data of dblp record 'conf/sat/CreignouDER08' 2017-05-23T01:08:19+0200