Report copyright - The DPLL algorithmerodri/webpage/cps/theory/... · DPLL - A Bit of History 4/11 Original DPLL was incomplete method for FOL satisfiability First paper (Davis and Putnam) in 1960:
Please pass captcha verification before submit form
Please pass captcha verification before submit form