SATCHMO: a theorem prover implemented in Prolog

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