SATCHMO: a theorem prover implemented in Prolog

by Rainer Manthey
Venue:Proceedings of the 9-th Conference on Automated Deduction, Lecture
Citations:112 - 12 self