Book Chapter
FINDER: Finite domain enumerator system description
John Slaney
Lecture Notes in Computer Science, 1994, Volume 814, Automated Deduction — CADE-12, Pages 798-801
Book Chapter
Towards Semantic Goal-Directed Forward Reasoning in Resolution
Seungyeob Choi
Lecture Notes in Computer Science, 2002, Volume 2443, Artificial Intelligence: Methodology, Systems, and Applications, Pages 243-252
Book Chapter
System description generating models by SEM
Jian Zhang and Hantao Zhang
Lecture Notes in Computer Science, 1996, Volume 1104, Automated Deduction — Cade-13, Pages 308-312
Book Chapter
Answer Set Computation Based on a Minimal Model Generation Theorem Prover
Yasuyuki Shirai and Ryuzo Hasegawa
Lecture Notes in Computer Science, 2004, Volume 3157, PRICAI 2004: Trends in Artificial Intelligence, Pages 43-52
Book Chapter
KoMeT
W. Bibel, S. Brüning, U. Egly and T. Rath
Lecture Notes in Computer Science, 1994, Volume 814, Automated Deduction — CADE-12, Pages 783-787
Journal Article
Quasigroups and tactical systems
Ronald D. Baker
Aequationes Mathematicae, 1978, Volume 18, Numbers 1-2, Pages 296-303
Book Chapter
Applying SAT Solving in Classification of Finite Algebras
Andreas Meier and Volker Sorge
2006, SAT 2005, Pages 201-235
Journal Article
Applying SAT Solving in Classification of Finite Algebras
Andreas Meier and Volker Sorge
Journal of Automated Reasoning, 2005, Volume 35, Numbers 1-3, Pages 201-235
Book Chapter
Extending Finite Model Searching with Congruence Closure Computation
Jian Zhang and Hantao Zhang
Lecture Notes in Computer Science, 2004, Volume 3249, Artificial Intelligence and Symbolic Computation, Pages 141-143
Book Chapter
ITP at argonne national laboratory
Ewing Lusk, William McCune and Ross Overbeek
Lecture Notes in Computer Science, 1986, Volume 230, 8th International Conference on Automated Deduction, Pages 697-698