FDPLL—A first-order Davis–Putnam–Logemann–Loveland procedure (2000)

by P Baumgartner
Venue:CADE-17—The 17th International Conference on Automated Deduction