MACE4 and SEM: A Comparison of Finite Model Generators
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 101-130
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- Computing finite models by reduction to function-free clause logicJournal of Applied Logic, 2009
- Predicting and Detecting Symmetries in FOL Finite Model SearchJournal of Automated Reasoning, 2006
- Existence of self-orthogonal diagonal Latin squares with a missing subsquareDiscrete Mathematics, 2003
- The Model Evolution Calculus2003
- Reasoning by Symmetry and Function Ordering in Finite Model GenerationLecture Notes in Computer Science, 2002
- The eXtended Least Number HeuristicLecture Notes in Computer Science, 2001
- Some Techniques of Isomorph-Free SearchLecture Notes in Computer Science, 2001
- A Hybrid Method for Finite Model Search in Equational TheoriesFundamenta Informaticae, 1999
- Existence of conjugate orthogonal diagonal Latin squaresJournal of Combinatorial Designs, 1997
- Opening the AC-unification raceJournal of Automated Reasoning, 1988