i i “p01c04˙cds” — [removed] — 10:12 — page 131 — - Automated theorem proving - Document - PDFSEARCH.IO

First Page	Meta Content
	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Document Date: 2011-07-05 08:44:49 Open Document File Size: 483,49 KB Share Result on Facebook Company Toby Walsh (Eds.) IOS Press / CNF / IOS Press / / IndustryTerm search process / search tree / software model checking / namely search / search procedure / search algorithms / / Organization Organization of CDCL Solvers Algorithm / / Person Hans van Maaren / Sharad Malik / Ines Lynce / Joao Marques-Silva / / Technology DPLL algorithm / typical CDCL algorithm / cryptography / bioinformatics / 4.1 Typical CDCL algorithm / search algorithms / / SocialTag Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science

i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 iAdd to Reading List