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/journals/corr/abs-1007-1166.xml
Konstantin Kutzkov Dominik Scheder Using CSP To Improve Deterministic 3-SAT http://arxiv.org/abs/1007.1166 2010 CoRR abs/1007.1166 db/journals/corr/corr1007.html#abs-1007-1166