MACE4 and SEM: A Comparison of Finite Model Generators
From MaRDI portal
Publication:4913862
DOI10.1007/978-3-642-36675-8_5zbMath1383.68083OpenAlexW190372524MaRDI QIDQ4913862
Publication date: 16 April 2013
Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36675-8_5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
On First-Order Model-Based Reasoning ⋮ Blocking and other enhancements for bottom-up model generation methods
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- Predicting and detecting symmetries in FOL finite model search
- Computing finite models by reduction to function-free clause logic
- Skew lattices in rings
- Automated reasoning and exhaustive search: Quasigroup existence problems
- Constructing finite algebras with FALCON
- Solution of the Robbins problem
- On middle distributivity for skew lattices
- Incomplete perfect Mendelsohn designs with block size four
- Experiments with semantic paramodulation
- Existence of self-orthogonal diagonal Latin squares with a missing subsquare
- Implementing the Davis-Putnam method
- Automated model building
- The saga of the high school identities
- On the Foundations of Quasigroups
- A Powerful Technique to Eliminate Isomorphism in Finite Model Search
- Fast Decision Procedures Based on Congruence Closure
- Existence of conjugate orthogonal diagonal Latin squares
- Note on a Lemma of Ladkin
- The structure of conjugacy closed loops
- Automated Deduction – CADE-20
- Artificial Intelligence and Symbolic Computation
- Automated Deduction – CADE-19
This page was built for publication: MACE4 and SEM: A Comparison of Finite Model Generators
