Reducing Symmetries to Generate Easier SAT Instances (2005)

Cached

Download Links

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

Documents Related by Co-Citation

527 Knowledge Representation, Reasoning and Declarative Problem Solving – Chitta Baral - 2003
149 Automated Theorem Proving – W Bibel - 1987
64 Hyperresolution and automated model building – C Fermuller, A Leitsch - 1996
27 Engineering an Incremental ASP Solver – M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, S. Thiele