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

...
Author:  Himanshu Jain

9973 downloads 10450 Views 468KB Size

Recommend Documents

No documents