SATCHMO: a theorem prover implemented in Prolog
Cached
Download Links
- [idb.informatik.uni-bonn.de]
- [idb.informatik.uni-bonn.de]
- [idb.informatik.uni-bonn.de]
- DBLP
Other Repositories/Bibliography
by
Rainer Manthey
Venue: | Proceedings of the 9-th Conference on Automated Deduction, Lecture |
Citations: | 121 - 13 self |