A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure

by Peter Baumgartner
Citations:38 - 6 self