메뉴 건너뛰기




Volumn 2239, Issue , 2001, Pages 46-60

Collaborative learning for constraint solving

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); LOGIC PROGRAMMING; NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 84947945581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45578-7_4     Document Type: Conference Paper
Times cited : (13)

References (27)
  • 3
    • 0030232147 scopus 로고    scopus 로고
    • Automatically Configuring Constraint Satisfaction Programs: A Case Study
    • Minton, S., Automatically Configuring Constraint Satisfaction Programs: A Case Study. Constraints. 1 (1996)
    • (1996) Constraints , pp. 1
    • Minton, S.1
  • 4
    • 0008945676 scopus 로고
    • KIDS: A Knowledge-based Software Development System
    • M.R. Lowry and R.D. McCartney (eds.), AAAI Press
    • Smith, D.R.: KIDS: A Knowledge-based Software Development System. In: M.R. Lowry and R.D. McCartney (eds.): Automating Software Design. AAAI Press (1991)
    • (1991) Automating Software Design
    • Smith, D.R.1
  • 7
    • 84947961159 scopus 로고
    • eds.): Constraint-Based Reasoning., ed. Series. MIT Press, Cambridge, MA
    • Freuder, E., Mackworth, A., eds.: Constraint-Based Reasoning., ed. Series. MIT Press, Cambridge, MA (1992)
    • (1992)
    • Freuder, E.1    Mackworth, A.2
  • 10
    • 0029372769 scopus 로고
    • Methods for Combining Experts' Probability Assessments
    • Jacobs, R.A., Methods for Combining Experts' Probability Assessments. Neural Computation. 7 (1995) 867-888
    • (1995) Neural Computation , vol.7 , pp. 867-888
    • Jacobs, R.A.1
  • 11
    • 0041646581 scopus 로고
    • Assessing Design Activity in Complex CMOS Circuit Design
    • In: P. Nichols, S. Chipman, and R. Brennan (eds.), Lawrence Erlbaum, Hillsdale, NJ
    • Biswas, G., Goldman, S., Fisher, D., Bhuva, B., Glewwe, G.: Assessing Design Activity in Complex CMOS Circuit Design. In: P. Nichols, S. Chipman, and R. Brennan (eds.): Cognitively Diagnostic Assessment. Lawrence Erlbaum, Hillsdale, NJ (1995)
    • (1995) Cognitively Diagnostic Assessment
    • Biswas, G.1    Goldman, S.2    Fisher, D.3    Bhuva, B.4    Glewwe, G.5
  • 12
    • 38248998764 scopus 로고
    • Flexible Strategy Use in Young Children's Tic-Tac-Toe
    • Crowley, K., Siegler, R.S., Flexible Strategy Use in Young Children's Tic-Tac-Toe. Cognitive Science. 17 (1993) 531-561
    • (1993) Cognitive Science , vol.17 , pp. 531-561
    • Crowley, K.1    Siegler, R.S.2
  • 15
    • 0026909608 scopus 로고
    • Prior Knowledge Strengthens Learning to Control Search in Weak Theory Domains
    • Epstein, S.L., Prior Knowledge Strengthens Learning to Control Search in Weak Theory Domains. International Journal of Intelligent Systems. 7 (1992) 547-586
    • (1992) International Journal of Intelligent Systems , vol.7 , pp. 547-586
    • Epstein, S.L.1
  • 16
    • 84947961160 scopus 로고    scopus 로고
    • Towards Inferring Labelling Heuristics for CSP Application Domains
    • Springer-Verlag
    • Kiziltan, Z., Flener, P., Hnich, B. Towards Inferring Labelling Heuristics for CSP Application Domains. In Proceedings of the KI'01: Springer-Verlag. (2001)
    • (2001) Proceedings of the KI'01
    • Kiziltan, Z.1    Flener, P.2    Hnich, B.3
  • 17
    • 0030246423 scopus 로고    scopus 로고
    • Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem
    • Sadeh, N., Fox, M.S., Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem. Artificial Intelligence. 86 (1996) 1-41
    • (1996) Artificial Intelligence , vol.86 , pp. 1-41
    • Sadeh, N.1    Fox, M.S.2
  • 18
    • 0020718223 scopus 로고
    • Consistent labeling problems and their algorithms: Expected complexities and theory-based heuristics
    • Nadel, B., Consistent labeling problems and their algorithms: expected complexities and theory-based heuristics. Artificial Intelligence. 21 (1983) 135-178
    • (1983) Artificial Intelligence , vol.21 , pp. 135-178
    • Nadel, B.1
  • 19
    • 84957879262 scopus 로고    scopus 로고
    • An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem
    • Gent, I., MacIntyre, E., Prosser, P., Smith, B., Walsh, T. An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem. In Proceedings of the CP-96. (1996) 179-193
    • (1996) In Proceedings of the CP-96 , pp. 179-193
    • Gent, I.1    Macintyre, E.2    Prosser, P.3    Smith, B.4    Walsh, T.5
  • 23
    • 84957890248 scopus 로고    scopus 로고
    • MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems
    • In: E.C. Freuder (ed., Springer-Verlag
    • Bessiere, C., Regin, J.-C.: MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems. In: E.C. Freuder ed. Principles and Practice of Constraint Programming - CP96, LNCS 1118. Springer-Verlag (1996) 61-75
    • (1996) Principles and Practice of Constraint Programming - CP96, LNCS 1118 , pp. 61-75
    • Bessiere, C.1    Regin, J.-C.2
  • 24
    • 0019899621 scopus 로고
    • A sufficient condition for backtrack-free search
    • Freuder, E.C., A sufficient condition for backtrack-free search. Journal of the ACM. 29 (1982) 24-32
    • (1982) Journal of the ACM , vol.29 , pp. 24-32
    • Freuder, E.C.1
  • 26
    • 0013423969 scopus 로고    scopus 로고
    • Learning Game-Specific Spatially-Oriented Heuristics
    • Epstein, S.L., Gelfand, J., Lock, E.T., Learning Game-Specific Spatially-Oriented Heuristics. Constraints. 3 (1998) 239-253
    • (1998) Constraints , vol.3 , pp. 239-253
    • Epstein, S.L.1    Gelfand, J.2    Lock, E.T.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.