FDPLL – A First-Order Davis-Putnam-Logeman-Loveland Procedure (2000)

by Peter Baumgartner
Venue:CADE-17 – The 17th International Conference on Automated Deduction, volume 1831 of Lecture Notes in Artificial Intelligence
Citations:32 - 8 self