-
1
-
-
0026294851
-
Overview of the CHIP compiler
-
June 1991 (MIT Press, Cambrid ge, MA), Paris, France
-
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.
-
(1991)
Proceedings of the Eighth International Conference on Logic Programming (ICLP-91)
-
-
Agoun, A.1
Beldiceanu, N.2
-
3
-
-
33646514180
-
A deductive and object-oriented approach to a complex scheduling problem
-
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.
-
(1993)
Proceedings of Conference on Deductive Object-Oriented Databases, Phoenix Arizona, Lecture Notes in Computer Science
, vol.760
, pp. 67-80
-
-
Caseau, Y.1
Guillo, P.Y.2
Levenez, E.3
-
4
-
-
84958762319
-
Employee timetabling, constraint networks and knowledge-based rules: A mixed approach
-
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.
-
(1996)
Proceedings of IPCTAT95, Lecture Notes in Computer Science
, vol.1153
, pp. 93-105
-
-
Meisels, A.1
Gudes, E.2
Solotorevsky, G.3
-
5
-
-
0001372340
-
Hybrid algorithms for the constraint satisfaction problem
-
Prosser, P. (1993) Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence, 9 (3): 268-299.
-
(1993)
Computational Intelligence
, vol.9
, Issue.3
, pp. 268-299
-
-
Prosser, P.1
-
6
-
-
0002419614
-
Binary constraint satisfaction problems: Some are harder than others
-
A. G. Cohn (ed.), 8-12 August, 1994, Amsterdam, The Netherlands (Chichester: Wiley
-
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.
-
(1994)
Proceedings of the 11Th European Conference on Artificial Intelligence, ECAI 94
, pp. 95-99
-
-
Prosser, P.1
-
7
-
-
0001784206
-
On the equivalence of constraint satisfaction problems
-
Stockholm, Sweden (Chichester: Wiley)
-
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.
-
(1990)
Proceedings of 7Th European Conference on Artificial Intelligence, ECAI-90
, pp. 550-556
-
-
Rossi, F.1
Petrie, C.2
Dhar, V.3
-
8
-
-
0002705628
-
Phase transition and the mushy region in constraint satisfaction problems
-
A. G. Cohn (ed.), 8-12 August 1994, Amsterdam, The Netherlands (Chichester: Wiley)
-
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.
-
(1994)
Proceedings of 11Th European Conference on Artificialintelligence, ECAI94
, pp. 100-104
-
-
Smith, M.B.1
-
9
-
-
0028516632
-
RAPS-a rule-based language for specifying resource allocation and time-tabling problems
-
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.
-
(1994)
IEEE Transactions on Data and Knowledge Engineering
, vol.6
, pp. 681-698
-
-
Solotorevsky, G.1
Gudes, E.2
Meisels, A.3
-
10
-
-
0542383122
-
-
Technical Report FC-96-07, Mathematics and Computer Science Department, Ben-Gurion University, Israel
-
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.
-
(1996)
Bayes Networks for Estimating the Number of Solutions to a CSP
-
-
Solotorevsky, G.1
Shimony, S.E.2
-
12
-
-
84958090482
-
The cardinality operator: A new logical connective and its application to constraint logic programming
-
(ICLP-91), June 1991 (MIT Press, Cambridge MA), Paris, France
-
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.
-
(1991)
Proceedings of the Eighth International Conference on Logic Programming
-
-
Van Hentenryck, P.1
Deville, Y.2
|