Vijay Durairaj Priyank Kalla Guiding CNF-SAT search via efficient constraint partitioning. 498-501 2004 conf/iccad/2004 ICCAD http://doi.acm.org/10.1145/1112239.1112320 db/conf/iccad/iccad2004.html#DurairajK04