Reducing Symmetries to Generate Easier SAT Instances (2005)

Cached

Download Links

by Jian Zhang , Zhuo Huang
Citations:1 - 0 self

Active Bibliography

1 Improving first-order model searching by propositional reasoning and lemma learning – Zhuo Huang, Hantao Zhang, Jian Zhang - 2004
3 Specifying Latin Square Problems in Propositional Logic – Hantao Zhang - 1997
7 The Design of a Relational Engine – Emina Torlak, Daniel Jackson - 2006
60 Kodkod: A relational model finder – Emina Torlak, Daniel Jackson - 2007
30 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
1 MACE 2.0 Reference Manual and Guide by – William Mccune - 2001
Automating Algebraic Specifications of Non-freely Generated Data Types – Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems – William Mccune Mathematics, William Mccune - 1994
21 Computing finite models by reduction to function-free clause logic – Peter Baumgartner, Alexander Fuchs, Hans De Nivelle, Cesare Tinelli - 2007
18 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
1 Finite Model Computation via Answer Set Programming – Martin Gebser, Orkunt Sabuncu, Torsten Schaub
1 A logic for approximate first-order reasoning – Frédéric Koriche - 2001
8 Geometric resolution: A proof procedure based on finite model search – Hans De Nivelle, Jia Meng - 2006
2 A Method for Solving NP Search Based on Model Expansion and Grounding – Raheleh Mohebali - 2007
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