Arc-Consistency + Unit Propagation = Lookahead

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3132, Issue , 2004, Pages 314-328

  You, Jia Huai ^a   Hou, Guiwen ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROGRAM TRANSLATORS;

ANSWER SET; ARC CONSISTENCY; CONSISTENCY TECHNIQUES; UNIT PROPAGATION;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 35048897926     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27775-0_22     Document Type: Article

References (15)

1. M. Davis, G. Logemann, and D. Loveland. A machine program for theorem proving. Communications of the ACM, 5(7):394-397, July 1962.
2. Rina Dechter. Constraint Processing. Morgan Kaufmann, 2003.
3. J.W. Freeman. Improvements to propositional satisfiability search algorithms. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1995.
4. E.C. Freuder. Synthesizing constraint expressions. CACM, 21(11):958-966, 1978.
5. A. Van Gelder, K. Ross, and J. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
6. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. 5th ICLP, pages 1070-1080. MIT Press, 1988.
7. Ian Gent. Arc consistency in SAT. In Proc. ECAI 2003, pages 121-125, 2002.
8. S. Kasif. On the parallel complexity of discrete relaxation in constraint satisfaction networks. Artificial Intelligence, pages 275-286, 1990.
9. N. Leone et al. DLV: a disjunctive datalog system, release 2000-10-15. At http:// www.dbai.tuwien.ac.at/proj/dlv/, 2000.
10. A. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99-118, 1977.
11. K. Marriott and P. Stucky. Programming with Constraints. MIT Press, 1998.
12. I. Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Math, and Artificial Intelligence, 25(3-4):241-273, 1999.
13. P. Simons. Extending and Implementing the Stable Model Semantics. PhD thesis, Helsinki University of Technology, Helsinki, Finland, 2000.
14. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138 (1-2), 2002.
15. T. Walsh. CSP vs. SAT. In Proc. Principles and Practice of Constraint Programming, pages 441-456, 2000.