To Guess or to Think? Hybrid Algorithms for SAT (Extended Abstract).

Irina Rish Rina Dechter To Guess or to Think? Hybrid Algorithms for SAT (Extended Abstract). 555-556 1996 conf/cp/1996 CP db/conf/cp/cp96.html#RishD96 http://dx.doi.org/10.1007/3-540-61551-2_113