Sciweavers

DAC
2009
ACM

141views Computer Architecture» more DAC 2009»

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

14 years 6 months ago

Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...

Himanshu Jain, Edmund M. Clarke

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers