A model for generating random quantified boolean formulas

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 66-71

  Chen, Hubie ^a   Interian, Yannet ^b  

^a UNIVERSITAT POMPEU FABRA   (Spain)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN SATISFIABILITY; GENERAL MODEL; QUANTIFIED BOOLEAN FORMULAS; SAT INSTANCES; SAT MODEL;

ARTIFICIAL INTELLIGENCE; BOOLEAN FUNCTIONS;

EMBEDDED SYSTEMS;

EID: 84880707926     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Marco Cadoli, Marco Schaerf, Andrea Giovanardi, and Massimo Giovanardi. An algorithm to evaluate quantified boolean formulae and its experimental evaluation. Technical report, Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", 1999.
2. V. Chvatal and E. Szemeredi. Many hard examples for resolution. Journal of the Association for Computing Machinery, 35:759-768, 1988.
3. D. Coppersmith, D. Gamarnik, M. Hajiaghayi, and G. Sorkin. Random max 2-sat and max cut, 2003.
4. Olivier Dubois, Yacine Boufkhad, and Jacques Mandler. Typical random 3-sat formulae and the satisfiability threshold. In SODA, pages 126-127, 2000. Full version in Electronic Colloquium on Computational Complexity (ECCC 2003).
5. Ian P. Gent and Toby Walsh. Beyond NP: the QSAT phase transition. Proceedings of AAAI 1999, 1999.
6. Enrico Giunchiglia, Massimo Narizzano, and Armando Tacchella. QUBE: A system for deciding quantified boolean formulas satisfiability. Proceedings of the International Joint Conference on Automated Reasoning, 2001.
7. Alexis C. Kaporis, Lefteris M. Kirousis, and Efthimios Lalas. Selecting complementary pairs of literals. Electronic Notes in Discrete Mathematics, 16, 2003.
8. D. Mitchell, B. Selman, and H. Levesque. Hard and easy distributions of sat problems. In Proc. 10-th National Conf. on Artificial Intelligence, pages 459-465, 1992.
9. N. C. Wormald. Differential equations for random processes and random graphs. Annals of Applied Probability, 5(4):1217-1235, 1995.