Hidden structure in unsatisfiable random 3-SAT: An empirical study

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2004, Pages 246-251

  Lynce, Inês ^a   Marques Silva, João ^a  

^a INESC ID   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; OPTIMIZATION; SET THEORY; THEOREM PROVING;

BACKDOORS; HIDDEN STRUCTURES; SAT SOLVERS; SATISFIABILITY (SAT);

PROBLEM SOLVING;

EID: 16244382529     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. R. Bruni and A. Sassano. Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable sub-formulae. In LICS Workshop on Theory and Applications of Satisfiability Testing, June 2001.
2. P.Cheeseman, B.Kanefsky, and W.M.Taylor. Where the really hard problems are. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 331-337, 1991.
3. V. Chvtal and E. Szemerédi. Many hard examples for resolution. Journal of the ACM, 35(4):759-768, October 1988.
4. H. Fleischner, O. Kullmann, and S. Szeider. Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference. Theoretical Computer Science, 289(1):503-516, 2002.
5. K. L. McMillan. Interpolation and SAT-based model checking. In Proceedings of Computer Aided Verification, 2003.
6. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Engineering an efficient SAT solver. In Proceedings of the Design Automation Conference, pages 530-535, June 2001.
7. B. Selman, D. G. Mitchell, and H. J. Levesque. Generating hard satisfiability problems. Artificial Intelligence, 81(1-2):17-29, 1996.
8. R. Williams, C. P. Gomes, and B. Selman. Backdoors to typical case complexity. In Proceedings of the International Joint Conference on Artificial Intelligence, 2003.
9. L. Zhang and S. Malik. Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In Proceedings of the Design and Test in Europe Conference, pages 10880-10885, March 2003.