Saving support-checks does not always save time

Artificial Intelligence Review

Volumn 21, Issue 3-4, 2004, Pages

  Van Dongen, M R C ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

Constraint satisfaction; Heuristics; Maintain arc consistency; Search; Space complexity; Time complexity

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; DATA ACQUISITION; FREQUENCY AGILITY; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING;

CONSTRAINT SATISFACTION; MAINTAIN ARC-CONSISTENCY; SEARCH; SPACE-COMPLEXITY; TIME-COMPLEXITY;

CONSTRAINT THEORY;

EID: 3843126408     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AIRE.0000036261.28708.7f     Document Type: Conference Paper

References (19)

1. Bessière, C., Freuder, E. & Régin, J.-C. (1995). Using Inference to Reduce Arc Consistency Computation. In C. Mellish (ed.) Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Vol. 1, 592-598 Montréal, Québec, Canada: Morgan Kaufmann Publishers.
2. Bessière, C., Freuder, E. & Régin, J.-C. (1999). Using Constraint Metaknowledge to Reduce Arc Consistency Computation. Artificial Intelligence 107(1): 125-148.
3. Bessière, C. & Règin, J.-C. (2001). Refining the Basic Constraint Propagation Algorithm. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 309-315.
4. Cabon, B., De Givry, S., Lobjois, L., Schiex, T. & Warners, J. (1999). Radio Link Frequency Assignment. Journal of Constraints 4: 79-89.
5. Gaschnig, J. (1978). Experimental Case Studies of Backtrack vs. Waltz-Type vs. New Algorithms for Satisficing Assignment Problems. In Proceeding of the 2nd Biennial Conference, Canadian Society for the Computational Studies of Intelligence, 268-277.
6. Gent, I., Prosser, M. E. P., Smith, B. & Walsh, T. (1996). An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. In E. Freuder (ed.) Principles and Practice of Constraint Programming, 179-193, Berlin: Springer.
7. Gent, I., MacIntyre, E., Prosser, P., Shaw, P. & Walsh, T. (1997). The Constrained-ness of Arc Consistency, In Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming, 327-340, Berlin: Springer.
8. Gent, I., MacIntyre, E., Prosser, P., Smith, B. & Walsh, T. (2001). Random Constraint Satisfaction: Flaws and Structure. Journal of Constraints 6(4): 345-372.
9. Mackworth, A. (1977). Consistency in Networks of Relations. Artificial Intelligence 8: 99-118.
10. Mackworth, A. & Preuder, E. (1985). The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence 25(1): 65-73.
11. Mohr, R. & Henderson, T. (1986). Arc and Path Consistency Revisited. Artificial Intelligence 28: 225-233.
12. Sabin, D. & Freuder, E. (1994). Contradicting Conventional Wisdom in Constraint Satisfaction. In A. Cohn (ed.) Proceedings of the 11th European Conference on Artificial Intelligence, 125-129, New York: John Wiley and Sons.
13. van Dongen, M. (2001). Domain Heuristics for Arc-Consistency Algorithms. In Proceedings of the 12th Irish Conference on Artificial Intelligence and Cognitive Science, 179-188.
14. d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity. In P. Van Hentenryck (ed.) Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, Vol. 2470 of Lecture notes in Computer Science, 755-760, Berlin: Springer.
15. van Dongen, M. (2003a). Domain-Heuristics for Arc-Consistency Algorithms. In B. O'Sullivan (ed.) Recent Advances in Constraints, Vol. 2627 of Lecture Notes in Artificial Intelligence, 61-75, Berlin: Springer.
16. van Dongen, M. (2003b). Lightweight Arc-Consistency Algorithms. Technical Report TR-01-2003, Cork Constraint Computation Centre.
17. van Dongen, M. (2003c). Lightweight MAC Algorithms. Technical Report TR-02-2003, Cork Constraint Computation Centre.
18. Wallace, R. & Freuder, E. (1992). Ordering Heuristics for Arc Consistency Algorithms. In AI/GI/VT92, 163-169, Vancouver, British Columbia, Canada.
19. Zhang, Y. & Yap, R. (2001). Making AC-3 an Optimal Algorithm. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 316-321.