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

by William Mccune
Citations:96 - 10 self