Exploiting the use of DAC in MAX-CSP

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

Volumn 1118, Issue , 1996, Pages 308-322

  Larrosa, Javier ^a   Meseguer, Pedro ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 57649226744     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61551-2_83     Document Type: Conference Paper

References (11)

1. Bakker R., Dikker F., Tempelman F. and Wognum P. (1993). Diagnosing and solving overdetermined constraint satisfaction problems, Proceedings of UCAI-93, 276-281.
2. Dechter R. and Pearl J. (1988). Network-based heuristics for constraint satisfaction problems, Artificial Intelligence, 34, 1-38.
3. Feldman R. and Golumbic M. C. (1990). Optimization algorithms for student scheduling via constraint satisfiability, Computer Journal, vol. 33, 356-364.
4. Fox M. (1987). Constraint-directed Search: A Case Study on Jop-Shop Scheduling. Morgan-Kauffman.
5. Freuder E. C. and Wallace R. J. (1992). Partial constraint satisfaction, Artificial Intelligence, 58:21-70.
6. Larrosa J. and Meseguer P. (1995). Optimization-based Heuristics for Maximal Constraint Satisfaction, Proceedings of CP-95,103-120.
7. Larrosa J. and Meseguer P. (1996). Phase Transition in MAX-CSP, Proceedings of ECAI-96, 190-194.
8. Prosser P. (1994). Binary constraint satisfaction problems: some are harder than others, Proceedings of ECAI-94, 95-99.
9. Smith B. M. (1994). Phase thansition and the mushy region in constraint satisfaction problems, Proceedings of ECAI-94, 100-104.
10. Wallace R. J. and Freuder E. C. (1993). Conjunctive width heuristics for maximal constraint satisfaction, Proceedings of AAAI-93, 762-778.
11. Wallace R. J. (1994).Directed Arc Consistency Preprocessing as a Strategy for Maximal Constraint Satisfaction, ECAI94 Workshop on Constraint Processing, M. Meyer editor, 69-77.