Reducing Symmetries to Generate Easier SAT Instances (2005)
by
Jian Zhang
,
Zhuo Huang
| Citations: | 1 - 0 self |
Documents Related by Co-Citation
| 61 | Automated Model Building – R Caferra, A Leitsch, N Peltier - 2004 |
| 11 | Engineering an Incremental ASP Solver – M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, S. Thiele |
| 140 | Automated Theorem Proving – W Bibel - 1987 |
| 370 | Knowledge representation, reasoning and declarative problem solving – C Baral - 2003 |
