Csps with counters: A likelihood-based heuristic

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 10, Issue 1, 1998, Pages 117-129

  Solotorevsky, Gadi ^a   Shimony, Solomon Eyal ^a   Meisels, Amnon ^a  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0542396544     PISSN: 0952813X     EISSN: 13623079     Source Type: Journal    
DOI: 10.1080/095281398146950     Document Type: Article

References (13)

1. Agoun, A. and Beldiceanu, N. (1991) Overview of the CHIP compiler. In Proceedings of the Eighth International Conference on Logic Programming (ICLP-91) June 1991 (MIT Press, Cambrid ge, MA), Paris, France.
2. CHIP (1993) CHIP V4: CHIP Reference Manual, Cosytec, Complex Systems Technologies, Orsay Cedex, France.
3. Caseau, Y., Guillo, P. Y. and Levenez, E. (1993) A deductive and object-oriented approach to a complex scheduling problem. In Proceedings of Conference on Deductive Object-Oriented Databases, Phoenix Arizona, Lecture Notes in Computer Science, Vol. 760 pp. 67-80.
4. Meisels, A., Gudes, E. and Solotorevsky, G. (1996) Employee timetabling, constraint networks and knowledge-based rules: a mixed approach. In Proceedings of IPCTAT95, Lecture Notes in Computer Science, vol. 1153 pp. 93-105.
5. Prosser, P. (1993) Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence, 9 (3): 268-299.
6. Prosser, P. (1994) Binary constraint satisfaction problems: some are harder than others. In A. G. Cohn (ed.) Proceedings of the 11th European Conference on Artificial Intelligence, ECAI 94, 8-12 August, 1994, Amsterdam, The Netherlands (Chichester: Wiley), pp. 95-99.
7. Rossi, F., Petrie, C. and Dhar, V. (1990) On the equivalence of constraint satisfaction problems. In Proceedings of 7th European Conference on Artificial Intelligence, ECAI-90, Stockholm, Sweden (Chichester: Wiley), 550-556.
8. Smith, M. B. (1994) Phase transition and the mushy region in constraint satisfaction problems. In A. G. Cohn (ed.) Proceedings of 11th European Conference on ArtificialIntelligence, ECAI94, 8-12 August 1994, Amsterdam, The Netherlands (Chichester: Wiley), 100-104.
9. Solotorevsky, G., Gudes, E. and Meisels, A. (1994) RAPS-a rule-based language for specifying resource allocation and time-tabling problems. IEEE Transactions on Data and Knowledge Engineering, 6: 681-698.
10. Solotorevsky, G. and Shimony, S. E. (1996) Bayes networks for estimating the number of solutions to a CSP, Technical Report FC-96-07, Mathematics and Computer Science Department, Ben-Gurion University, Israel.
11. Tsang, E. (1993) Foundations of constraint satisfaction, (New York: Academic Press), pp. 184-187.
12. van Hentenryck, P. and Deville, Y. (1991) The cardinality operator: a new logical connective and its application to constraint logic programming. In Proceedings of the Eighth International Conference on Logic Programming (ICLP-91), June 1991 (MIT Press, Cambridge MA), Paris, France.
13. van Hentenryck, P. (1992) Scheduling and packing in the constraint language cc(FD), Technical Report CS-92-43, Computer Science Department, Brown University.