-
2
-
-
84958063124
-
Dynamic variable ordering in CSPs
-
Montanari, U., Rossi, F. (eds.).Springer- Verlag, Berlin Heidelberg NewYork
-
Bacchus, F., van Run, P.: Dynamic Variable Ordering in CSPs. In: Montanari, U., Rossi, F. (eds.): Proc. 1st Int. Conf. on Principles and Practice of Constraint Programming. Springer-Verlag, Berlin Heidelberg NewYork (1995) 258-275
-
(1995)
Proc. 1st Int. Conf. on Principles and Practice of Constraint Programming
, pp. 258-275
-
-
Bacchus, F.1
Van Run, P.2
-
3
-
-
84947772501
-
Semiring-based CSPs and valued CSPs: Basic properties and comparisons
-
Jampel, M. (ed.);. Springer- Verlag, Berlin Heidelberg NewYork
-
Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G.: Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparisons. In: Jampel, M. (ed.): Over-Constrained Systems. Springer-Verlag, Berlin Heidelberg NewYork (1996)
-
(1996)
Over-Constrained Systems
-
-
Bistarelli, S.1
Fargier, H.2
Montanari, U.3
Rossi, F.4
Schiex, T.5
Verfaillie, G.6
-
4
-
-
0000719690
-
Constraint hierarchies
-
Borning, A., Freeman-Benson, B., Wilson, M.: Constraint Hierarchies. Lisp and Symbolic Comput. 5 (1992) 233-270
-
(1992)
Lisp and Symbolic Comput.
, vol.5
, pp. 233-270
-
-
Borning, A.1
Freeman Benson, B.2
Wilson, M.3
-
5
-
-
0029200013
-
Horoplan: Computer-assisted nurse scheduling using constraint-based programming
-
Darmoni, S.J., Fajner, A., Leforestier, A., Mahe, N.: Horoplan: Computer-Assisted Nurse Scheduling Using Constraint-Based Programming. J. Soc. for Health Systems 5 (1995) 41-54
-
(1995)
J. Soc. for Health Systems
, vol.5
, pp. 41-54
-
-
Darmoni, S.J.1
Fajner, A.2
Leforestier, A.3
Mahe, N.4
-
6
-
-
0002883087
-
The constraint logic programming language CHIP
-
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The Constraint Logic Programming Language CHIP. In: Proc. Int. Conf. on Fifth Generation Computer Systems (1988)
-
(1988)
Proc. Int. Conf. on Fifth Generation Computer Systems
-
-
Dincbas, M.1
Van Hentenryck, P.2
Simonis, H.3
Aggoun, A.4
Graf, T.5
Berthier, F.6
-
7
-
-
0027206949
-
The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction
-
San Francisco, CA
-
Dubois, D., Fargier, H., Prade, H.: The Calculus of Fuzzy Restrictions as a Basis for Flexible Constraint Satisfaction. In: Proc. 2nd IEEE Int. Conf. on Fuzzy Systems (San Francisco, CA) (1993) 1131-1136
-
(1993)
Proc. 2nd IEEE Int. Conf. on Fuzzy Systems
, pp. 1131-1136
-
-
Dubois, D.1
Fargier, H.2
Prade, H.3
-
8
-
-
84889560853
-
Handling preferences in constraint logic programming with relational optimization
-
Jampel, M. (ed.). Springer- Verlag, Berlin Heidelberg NewYork
-
Fages, F., Fowler, J., Sola, T.: Handling Preferences in Constraint Logic Programming with Relational Optimization. In: Jampel, M. (ed.): Over-Constrained Systems. Springer-Verlag, Berlin Heidelberg NewYork (1996)
-
(1996)
Over-Constrained Systems
-
-
Fages, F.1
Fowler, J.2
Sola, T.3
-
10
-
-
0039192971
-
A general backtrack algorithm that eliminates most redundant checks
-
Cambridge, MA
-
Gaschnig, J.: A General Backtrack Algorithm that Eliminates Most Redundant Checks. In: Proc. IJCAI-77 (Cambridge, MA) (1977)
-
(1977)
Proc. IJCAI-77
-
-
Gaschnig, J.1
-
11
-
-
84974616300
-
Partial satisfaction of constraint hierarchies in reactive and interactive configuration
-
Hower,W. Ruttkay, Z. (eds.)
-
Meyer auf'm Hofe, H.: Partial Satisfaction of Constraint Hierarchies in Reactive and Interactive Configuration. In: Hower,W. Ruttkay, Z. (eds.): ECAI-96Workshop on Non-Standard Constraint Processing (1996) 61-72
-
(1996)
ECAI-96Workshop on Non-Standard Constraint Processing
, pp. 61-72
-
-
Meyer Auf'm Hofe, H.1
-
15
-
-
0004219017
-
Principles of artificial intelligence
-
Springer- Verlag, Berlin Heidelberg NewYork. chapter 3.2
-
Nilsson, N.: Principles of Artificial Intelligence. In: Symbolic Computation. Springer-Verlag, Berlin Heidelberg NewYork (1982) chapter 3.2
-
(1982)
Symbolic Computation
-
-
Nilsson, N.1
-
16
-
-
0002582645
-
Valued constraint satisfaction problems: Hard and easy problems
-
Mellish, C. (ed.). Kaufmann, San Francisco, CA
-
Schiex, T., Fargier, H., Verfaillie, G.: Valued Constraint Satisfaction Problems: Hard and Easy Problems. In: Mellish, C. (ed.): IJCAI-95: Proc. 14th Int. Joint Conf. on Artif. Intell. Kaufmann, San Francisco, CA (1995) 631-637
-
(1995)
IJCAI-95: Proc. 14th Int. Joint Conf. on Artif. Intell.
, pp. 631-637
-
-
Schiex, T.1
Fargier, H.2
Verfaillie, G.3
-
18
-
-
84957027959
-
Tabu search vs. Random walk
-
Brewka, G., Habel, C., Nebel, B. (eds.). KI-97: Advances in Artificial Intelligence. Springer- Verlag, Berlin Heidelberg NewYork
-
Steinmann, O., Strohmeier, A., Stützle, T.: Tabu Search vs. Random Walk. In: Brewka, G., Habel, C., Nebel, B. (eds.): KI-97: Advances in Artificial Intelligence. LNAI, Vol. 1303. Springer-Verlag, Berlin Heidelberg NewYork (1997) 337-348
-
(1997)
LNAI
, vol.1303
, pp. 337-348
-
-
Steinmann, O.1
Strohmeier, A.2
Stützle, T.3
-
19
-
-
18944403044
-
Foundations of constraint satisfaction
-
Academic, London. ISBN 0-12-701610-4
-
Tsang, E.: Foundations of Constraint Satisfaction. Computation in Cognitive Science. Academic, London (1993) ISBN 0-12-701610-4
-
(1993)
Computation in Cognitive Science
-
-
Tsang, E.1
-
20
-
-
0001314330
-
e - A platform for constraint logic programming
-
Wallace, M., Novello, S., Schimpf, J.: Eclipse - a Platform for Constraint Logic Programming. ICL Systems J. 12 (1997) 159-200
-
(1997)
ICL Systems J.
, vol.12
, pp. 159-200
-
-
Wallace, M.1
Novello, S.2
Schimpf, J.3
-
21
-
-
84957872184
-
Analysis of heuristic methods for partial constraint satisfaction problems
-
Springer-Verlag, Berlin Heidelberg NewYork
-
Wallace, R.J.: Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems. In: CP-96: Proc. 2nd Int. Conf. on Principles and Practice of Constraint Processing. Springer-Verlag, Berlin Heidelberg NewYork (1996) 482-496
-
(1996)
CP-96: Proc. 2nd Int. Conf. on Principles and Practice of Constraint Processing
, pp. 482-496
-
-
Wallace, R.J.1
|