-
1
-
-
84957885500
-
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
-
Bayardo, R. J. J. and R. Schrag (1996). Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. Principles and Practice of Constraint Programming CP-1996, pp. 46-60.
-
(1996)
Principles and Practice of Constraint Programming
, vol.CP-1996
, pp. 46-60
-
-
Bayardo, R.J.J.1
Schrag, R.2
-
2
-
-
38149147969
-
For the Right Reasons: The FORR Architecture for Learning in a Skill Domain
-
Epstein, S. L. (1994). For the Right Reasons: The FORR Architecture for Learning in a Skill Domain. Cognitive Science 18: 479-511.
-
(1994)
Cognitive Science
, vol.18
, pp. 479-511
-
-
Epstein, S.L.1
-
3
-
-
84947945581
-
Collaborative Learning for Constraint Solving
-
T. Walsh, Ed, pp, Springer, Paphos, Cyprus
-
Epstein, S. L. and E. Freuder (2001). Collaborative Learning for Constraint Solving. Principles and Practice of Constraint Programming - CP2001 (T. Walsh, Ed.), pp. 46 - 60, Springer 2001, Paphos, Cyprus.
-
(2001)
Principles and Practice of Constraint Programming - CP2001
, pp. 46-60
-
-
Epstein, S.L.1
Freuder, E.2
-
5
-
-
0002297087
-
Look-ahead Value Ordering for Constraint Satisfaction Problems
-
Frost, D. and R. Dechter (1995). Look-ahead Value Ordering for Constraint Satisfaction Problems. IJCAI-95, pp. 572-278.
-
(1995)
IJCAI-95
, pp. 572-278
-
-
Frost, D.1
Dechter, R.2
-
6
-
-
0003140339
-
The Constrainedness of Search
-
Gent, I. P., P. Prosser and T. Walsh (1999). The Constrainedness of Search. AAAI/IAAI 1: 246-252.
-
(1999)
AAAI/IAAI
, vol.1
, pp. 246-252
-
-
Gent, I.P.1
Prosser, P.2
Walsh, T.3
-
7
-
-
35048828430
-
Statistical Regimes Across Constraincdness Regions
-
M. Wallace, Ed, pp, Springer, Toronto, Canada
-
Gomes, C., C. Fernandez, B. Selman and C. Bessiere (2004). Statistical Regimes Across Constraincdness Regions. 10th Conf. on Principles and Practice of Constraint Programming (CP-04) (M. Wallace, Ed.), pp. 32-46, Springer, Toronto, Canada.
-
(2004)
10th Conf. on Principles and Practice of Constraint Programming (CP-04)
, pp. 32-46
-
-
Gomes, C.1
Fernandez, C.2
Selman, B.3
Bessiere, C.4
-
9
-
-
33646173451
-
Search Heuristics and Heavy-Tailed Behavior
-
P. V. Beek, Ed, pp, Berlin: Springer-Verlag
-
Hulubei, T. and B. O'Sullivan (2005). Search Heuristics and Heavy-Tailed Behavior. Principles and Practice of Constraint Programming - CP 2005 (P. V. Beek, Ed.), pp. 328-342, Berlin: Springer-Verlag.
-
(2005)
Principles and Practice of Constraint Programming - CP 2005
, pp. 328-342
-
-
Hulubei, T.1
O'Sullivan, B.2
-
11
-
-
33745186591
-
Towards Inferring Labelling Heuristics for CSP Application Domains
-
Springer-Verlag
-
Kiziltan, Z., P. Flener and B. Hnich (2001). Towards Inferring Labelling Heuristics for CSP Application Domains. KI'01, Springer-Verlag.
-
(2001)
KI'01
-
-
Kiziltan, Z.1
Flener, P.2
Hnich, B.3
-
13
-
-
9444264290
-
The backdoor key: A path to understanding problem hardness
-
San Jose, CA, USA
-
Ruan, Y., H. Kautz and E. Horvitz (2004). The backdoor key: A path to understanding problem hardness. Proceedings of the Nineteenth National Conference on Artificial Intelligence, pp. 124-130, San Jose, CA, USA.
-
(2004)
Proceedings of the Nineteenth National Conference on Artificial Intelligence
, pp. 124-130
-
-
Ruan, Y.1
Kautz, H.2
Horvitz, E.3
-
15
-
-
0002146217
-
Contradicting Conventional Wisdom in Constraint Satisfaction
-
John Wiley & Sons, Amsterdam
-
Sabin, D. and E. C. Freudcr (1994). Contradicting Conventional Wisdom in Constraint Satisfaction. Eleventh European Conference on Artificial Intelligence, pp. 125-129, John Wiley & Sons, Amsterdam.
-
(1994)
Eleventh European Conference on Artificial Intelligence
, pp. 125-129
-
-
Sabin, D.1
Freudcr, E.C.2
-
16
-
-
23044534186
-
Ensembles of learning machines
-
M. M. a. R. Tagliaferri, Ed, Springer-Verlag, Heidelberg, Italy
-
Valentini, G. and F. Masulli (2002). Ensembles of learning machines. Neural Nets WIRN Vietri-02 (M. M. a. R. Tagliaferri, Ed.), Springer-Verlag, Heidelberg, Italy.
-
(2002)
Neural Nets WIRN Vietri-02
-
-
Valentini, G.1
Masulli, F.2
|