Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts.

Himanshu Jain, Edmund M. Clarke

Browse the full DAC paper archive.