Report copyright - The DPLL Procedurehomepage.cs.uiowa.edu/~tinelli/classes/196/Fall09/notes/dpll.pdfThe Original DPLL • Tries to build incrementally a satisfying truth assignment M for a CNF formula
Please pass captcha verification before submit form