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

by William Mccune
Citations:97 - 11 self