|
1
|
Improving first-order model searching by propositional reasoning and lemma learning
– Zhuo Huang, Hantao Zhang, Jian Zhang
- 2004
|
|
6
|
The Design of a Relational Engine
– Emina Torlak, Daniel Jackson
- 2006
|
|
42
|
Kodkod: A relational model finder
– Emina Torlak, Daniel Jackson
- 2007
|
|
3
|
Specifying Latin Square Problems in Propositional Logic
– Hantao Zhang
- 1997
|
|
26
|
TSTP Data-Exchange Formats for Automated Theorem Proving Tools
– Geoff Sutcliffe, Jürgen Zimmer, Stephan Schulz
- 2004
|
|
14
|
The search for Satisfaction
– Ian P. Gent, Toby Walsh
- 1999
|
|
|
MACE 2.0 Reference Manual and Guide
– William Mccune
- 2001
|
|
|
Automating Algebraic Specifications of Non-freely Generated Data Types
– Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
|
|
15
|
Computing finite models by reduction to function-free clause logic
– Peter Baumgartner, Alexander Fuchs, Hans De Nivelle, Cesare Tinelli
- 2007
|
|
|
A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems
– William Mccune Mathematics, William Mccune
- 1994
|
|
17
|
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications
– Daniel Jackson, Somesh Jha, Craig A. Damon
- 1998
|
|
|
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Finite Model Computation via Answer Set Programming
– Martin Gebser, Orkunt Sabuncu, Torsten Schaub
|
|
|
Finite Model Computation via Answer Set Programming
– Martin Gebser, Orkunt Sabuncu, Torsten Schaub
|
|
2
|
A Method for Solving NP Search Based on Model Expansion and Grounding
– Raheleh Mohebali
- 2007
|
|
1
|
A logic for approximate first-order reasoning
– Frédéric Koriche
- 2001
|
|
7
|
Geometric resolution: A proof procedure based on finite model search
– Hans De Nivelle, Jia Meng
- 2006
|
|
4
|
Definites and the Proper Treatment of Rabbits
– Claire Gardent, Karsten Konrad
- 1999
|
|
1
|
Model Generation without Normal Forms and Applications in Natural-Language Semantics
– Karsten Konrad
- 1998
|
|
16
|
Interpreting Definites using Model Generation
– Claire Gardent, Karsten Konrad
- 2000
|
