-
1
-
-
0030232147
-
Automatically Configuring Constraint satisfaction Problems: A Case Study
-
Minton S. Automatically Configuring Constraint satisfaction Problems: A Case Study. Constraints 1 (1996) 7-44
-
(1996)
Constraints
, vol.1
, pp. 7-44
-
-
Minton, S.1
-
2
-
-
34247370687
-
-
Y. Caseau, F. Laburthe and G. Silverstein, A Meta-Heuristic Factory for Vehicle Routing Problems, in Proc. CPJ99 (Washington DC, 1999).
-
-
-
-
3
-
-
84957354082
-
-
Y. Caseau, F. Laburthe, SALSA: A Language for Search Algorithms, in Proc. CP'98 (Pisa, 1998) 310-324.
-
-
-
-
5
-
-
34247385175
-
-
H. El Sakkout, M. Wallace and E. Richards, An Instance of Adaptive Propagation, in Proc. CP'96 (Boston, 1996).
-
-
-
-
6
-
-
34247359164
-
-
R. Rodosek and M. Wallace, A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems, in Proc. CP'98 (Pisa, 1998).
-
-
-
-
7
-
-
34247376592
-
-
E.T. Richards and E.B. Richards, Non-systematic Search and Learning: An Empirical Study, in Proc. CP'98 (Pisa, 1998).
-
-
-
-
8
-
-
34247393333
-
-
J. Schimpf, K. Shen and M. Wallace, Tutorial on Search in ECLiPSe, www.icparc.ic.ac.uk/eclipse Manuals and other documentation, 1999.
-
-
-
-
9
-
-
44049112032
-
Minimizing Conflicts: a Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems
-
Minton S., Juhnstone M., Philips A., and Laird P. Minimizing Conflicts: a Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems. Artificial Intelligence 58 (1992) 161-206
-
(1992)
Artificial Intelligence
, vol.58
, pp. 161-206
-
-
Minton, S.1
Juhnstone, M.2
Philips, A.3
Laird, P.4
-
10
-
-
34247366451
-
-
L. Michel and P. Van Hentenryck, Localizer a Modelling Language for Local Search in Proc. CP'97 (Linz, 1997).
-
-
-
-
11
-
-
0027706953
-
-
B. Selman and H. Kautz, An Empirical Study of Greedy Local Search for Satisfiability Testing, in AAAI-93, (1993) 46-51.
-
-
-
-
12
-
-
34247403042
-
-
H. El Sakkout and M. Wallace, Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling, Constraints. Special issue on constraint-directed reasoning issues arising from industrial scheduling problems (To Appear).
-
-
-
-
13
-
-
34247364126
-
-
A. van Gelder and Y. Tsuji, Instances from circuit fault analysis, http://aida.intellektik.informatik.tu-darmstadt.de/~hoos/SATLIB/Benchmar ks/SAT/DIMACS/BF/descr.html0
-
-
-
-
14
-
-
34247351259
-
-
Chu Min Li and Anbulagan, Look-ahead versus Look-back for Satisfiability Problems, in Proc. CP'97, (Linz, 1997).
-
-
-
|