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

Irina Rish, Rina Dechter

Browse the full CP paper archive.