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/soda/SchederTCT13.rdf
Dominik Scheder et al.: Exponential Lower Bounds for the PPSZ k-SAT Algorithm. (2013) conf/soda/SchederTCT13 10.1137/1.9781611973105.91 Exponential Lower Bounds for the PPSZ k-SAT Algorithm. 4 Dominik Scheder 1 Bangsheng Tang 2 Shiteng Chen 3 Navid Talebanfard 4 1253-1263 SODA SODA 2013 2013 provenance information for RDF data of dblp record 'conf/soda/SchederTCT13' 2024-10-06T21:14:55+0200