A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems (1994)

by William Mccune
Citations:95 - 10 self