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

148 Automated Theorem Proving – Wolfgang Bibel - 1987
66 Automated Model Building – R Caferra, A Leitsch, N Peltier - 2004
27 Engineering an Incremental ASP Solver – M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, S. Thiele
528 Knowledge representation, reasoning and declarative problem solving – C Baral - 2003