Quick shaving

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2005, Pages 411-415

  Lhomme, Olivier ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PROBLEM SOLVING;

ARC-CONSISTENCY FILTERING; CONSTRAINT PROGRAMMING; QUICKSHAVING;

CONSTRAINT THEORY;

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

References (17)

1. Bartak, R., and Erben, R. 2004. New algorithm for singleton arc consistency. In FLAIRS-2004. AAAI Press.
2. Bessière, C., and Debruyne, R. 2004. Optimal and suboptimal singleton arc consistency algorithms. In Proceedings of CP'04 workshop on Constraint Propagation and Implementation.
3. Bessière, C., and Régin, J.-C. 1997. Arc consistency for general constraints networks: preliminary results. In IJCAI'97, 398-404.
4. Bessière, C., and Régin, J.-C. 2001. Refining the basic constraint propagation algorithm. In Proceedings of IJCAI'01, 309-315.
5. Bessière, C. 1994. Arc-consistency and arc-consistency again. Artificial Intelligence 65:179-190.
6. Bliek, C. 1998. Generalizing partial order and dynamic backtracking. In Proceedings of AAAI.
7. Debruyne, R., and Bessière, C. 1997. Some practicable filtering techniques for the constraint satisfaction problem. In Proceedings of the International Joint Conference on Artificial Intelligence, 412-417.
8. Ginsberg, M., and McAllester, D. A. 1994. Gsat and dynamic backtracking. In International Conference on the Principles of Knowledge Representation (KR94), 226-237.
9. Ginsberg, M. 1993. Dynamic backtracking. Journal of Artificial Intelligence Research 1:25-46.
10. ILOG. 2005. ILOG Solver 6.1 User's manual. ILOG S.A.
11. Kauffman, S. A. 1993. The Origins of Order. Oxford University Press.
12. Lebbah, Y., and Lhomme, O. 1998. Acceleration methods for numeric csps. In Proceedings of AAAI-1998.
13. Lhomme, O. 1993. Consistency techniques for numeric CSPs. In IJCAI'93, 232-238.
14. Mohr, R., and Henderson, T. C. 1986. Arc and path consistency revisited. Artificial Intelligence 28:225-233.
15. Prosser, P. 1995. MAC-CBJ: maintaining arc-consistency with conflict-directed backjumping. Research Report 95/177, Department of Computer Science - University of Strathclyde.
16. Stallman, R. M., and Sussman, G. J. 1977. Forward reasoning and dependency directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence 9:135-196.
17. Zhang, Y., and Yap, R. 2001. Making ac-3 an optimal algorithm. In Proceedings of IJCAI'01, 316-321.