@inproceedings{JC09, author = {Himanshu Jain and Edmund M. Clarke}, title = {Efficient SAT Solving for Non-Clausal Formulas using DPLL, Graphs, and Watched Cuts}, booktitle = {46th Design Automation Conference (DAC)}, year = {2009}, note = {To appear}, }