Sciweavers

INFORMATICALT
2010
103views more  INFORMATICALT 2010»
13 years 2 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
Filip Maric, Predrag Janicic