dpll algorithm
From WikiWord, the free dictionary
English
Definitions
No definition found for “dpll algorithm”. Check the spelling, or try a related word.
Related words
Synonyms
boolean satisfiability problemcircuit satisfiability problemmaximum satisfiability problemtseytin transformationsatisfiability modulo theoriesindex calculus algorithmthompson's construction2-satisfiabilitykosaraju's algorithmcomputable setconjugate gradient methodmathematical logicdynamic programmingfirst-order logicsieve of sundaramclenshaw algorithm