{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:51Z","timestamp":1725483891744},"publisher-location":"Berlin, Heidelberg","reference-count":84,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439592"},{"type":"electronic","value":"9783540456285"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45628-7_19","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:13:38Z","timestamp":1179206018000},"page":"512-532","source":"Crossref","is-referenced-by-count":9,"title":["Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Mark","family":"Wallace","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"19_CR1","unstructured":"S. Abdennadher and H. Schlenker. INTERDIP-an interactive constraint based nurse scheduler. In PACLP\u201999. The Practical Applications Company, April 1999."},{"issue":"7","key":"19_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"Abderrahmane Aggoun and Nicolas Beldiceanu. Extending CHIP in order to solve complex scheduling and placement problems. Journal of Mathematical and Computer Modelling, 17(7):57\u201373, 1993.","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"19_CR3","unstructured":"http:\/\/www.aiai.ed.ac.uk\/project\/statements\/sched.html ."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1287\/trsc.3.1.53","volume":"3","author":"L. H. Appelgren","year":"1969","unstructured":"L. H. Appelgren. A column generation algorithm for a ship scheduling problem. Transportation Science, 3:53\u201368, 1969.","journal-title":"Transportation Science"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Krzysztof Apt. The essence of constraint propagation. TCS: Theoretical Computer Science, 221, 1999.","DOI":"10.1016\/S0304-3975(99)00032-8"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Greg J. Badros, Alan Borning, Kim Marriott, and Peter Stuckey. Constraint cascading style sheets for the web. In Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, pages 73\u201382, N.Y., November 7\u201310 1999. ACM Press.","DOI":"10.1145\/320719.322588"},{"key":"19_CR7","unstructured":"P. Baptiste and C. Le Pape. A theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling. In C. Mellish, editor, Proc. IJCAI, volume 1, pages 600\u2013606, 1995."},{"key":"19_CR8","unstructured":"N. Beldiceanu. New global constraints in chip. Presented at the CHIP Users\u2019 Club 95, 1995."},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/3-540-45349-0_6","volume-title":"Proc. Conf. on Principles and Practice of Constraint Programming, CP\u20192000","author":"N. Beldiceanu","year":"2000","unstructured":"N. Beldiceanu. Global constraints as graph properties on a structured network of elementary constraints of the same type. In R. Dechter, editor, Proc. Conf. on Principles and Practice of Constraint Programming, CP\u20192000, volume 1894 of Lecture Notes in Computer Science, pages 52\u201366. Springer Verlag, 2000."},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"12","author":"N. Beldiceanu","year":"1994","unstructured":"N. Beldiceanu and E. Contjean. Introducing global constraints in CHIP. Mathematical and Computer Modelling, 12:97\u2013123, 1994. citeseer.nj.nec.com\/beldiceanu94introducing.html.","journal-title":"Mathematical and Computer Modelling"},{"key":"19_CR11","unstructured":"P. Boizumault, P. David, and H. Djellab. A repair algorithm for allocating resources in a mobile telephone network. In PACLP\u201999. The Practical Applications Company, April 1999."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Alex Brodsky. Constraint databases: promising technology or just intellectual exercise? CSURVES: Computing Surveys Electronic Section, 28, 1996.","DOI":"10.1145\/242224.242299"},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1023\/A:1009661600931","volume":"5","author":"Y. Caseau","year":"1999","unstructured":"Y. Caseau and F. Laburthe. Heuristics for large constrained vehicle routing problems. Journal of Heuristics, 5(3):281\u2013303, 1999.","journal-title":"Journal of Heuristics"},{"key":"19_CR14","unstructured":"Yves Caseau and Francois Laburthe. Improved clp scheduling with task intervals. In P. Van Hentenryck, editor, Proceedings of the 11th International Conference on Logic Programming, Santa Margherita, 1994. MIT Press."},{"key":"19_CR15","unstructured":"http:\/\/www.icparc.ic.ac.uk\/chic2\/chic2_methodology\/index.html ."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"19_CR17","unstructured":"A. Colmerauer. Equations and Inequations on Finite and Infinite Trees. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-84), pages 85\u201399, Tokyo, Japan, November 1984. ICOT."},{"key":"19_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Efficient bottom-up abstract interpretation of Prolog by means of constraint solving over symbolic finite domains","author":"M.-M. Corsini","year":"1993","unstructured":"M.-M. Corsini, K. Musumbu, A. Rauzy, and B. L. Charlier. Efficient bottom-up abstract interpretation of Prolog by means of constraint solving over symbolic finite domains. Lecture Notes in Computer Science, 714, 1993."},{"key":"19_CR19","unstructured":"http:\/\/www.cosytec.fr\/ ."},{"key":"19_CR20","unstructured":"J. de Kleer. A comparison of ATMS and CSP techniques. In Proc. 11th International Joint Conference on Artificial Intelligence, IJCAI\u201989, 1989."},{"key":"19_CR21","unstructured":"M. Dincbas and H. Simonis. APACHE-a constraint-based, automated stand allocation system. In Proc. of Advanced Software Technology in Air Transport (ASTAIR\u201991, 1991."},{"key":"19_CR22","first-page":"693","volume-title":"Proceedings Intl. Conf. on Fifth Generation Computer Systems, Tokyo, Japan, Dec 1988","author":"M. Dincbas","year":"1988","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings Intl. Conf. on Fifth Generation Computer Systems, Tokyo, Japan, Dec 1988, pages 693\u2013702. Ohmsha Publishers, Tokyo, 1988."},{"key":"19_CR23","unstructured":"T. Filkhorn, H.-A. Schneider, A. Scholz, A. Strasser, and P. Warkentin. SVE system verification environment. Technical Report SVE, ZFE BT SE Siemens AG, 1995."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"M. Fisher. An applications oriented guide to lagrangian relaxation, 1985.","DOI":"10.1287\/inte.15.2.10"},{"key":"19_CR25","unstructured":"F. Focacci, A. Lodi, and M. Milano. Embedding relaxations in global constraints for solving TSP and its time constrained variant. Annals of Mathematics and Artificial Intelligence, Special issue on Large Scale Combinatorial Optimization, 2001. To appear."},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"E.C. Freuder. Synthesizing constraint expressions. Communications of the ACM, 21:958\u2013966, November 1978.","DOI":"10.1145\/359642.359654"},{"issue":"1\u20132","key":"19_CR27","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(99)00066-1","volume":"114","author":"M. P. J. Fromherz","year":"1999","unstructured":"M. P. J. Fromherz, V. A. Saraswat, and D. G. Bobrow. Model-based computing: Developing flexible machine control software. Artificial Intelligence, 114(1\u20132):157\u2013202, 1999.","journal-title":"Artificial Intelligence"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"T. Fruhwirth. Theory and practice of constraint handling rules, 1998.","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"19_CR29","series-title":"Lect Notes Comput Sci","volume-title":"Constraint Databases and Applications","author":"V. Gaede","year":"1998","unstructured":"V. Gaede, A. Brodsky, O. Guenther, D. Srivastava, V. Vianu, and M. G. Wallace. Constraint Databases and Applications. Number 1191 in LNCS. Springer Verlag, 1998."},{"key":"19_CR30","unstructured":"Carmen Gervet and Mark Wallace. Third international workshop on integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Programme and papers presented at CPAIOR\u201901: http:\/\/www. icparc.ic.ac.uk\/cpAIOR01\/ , 2001."},{"key":"19_CR31","unstructured":"Matt Ginsberg. Dynamic backtracking. Technical report, 1992. http:\/\/citeseer.nj.nec.com\/ginsberg96dynamic.html ."},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Weiqing He and Kim Marriott. Constrained graph layout. Constraints, 3(4), 1998.","DOI":"10.1023\/A:1009771921595"},{"issue":"2\u20133","key":"19_CR33","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck","year":"1992","unstructured":"P. Van Hentenryck, Y. Deville, and C.-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57(2\u20133): 291\u2013321, October 1992.","journal-title":"Artificial Intelligence"},{"key":"19_CR34","unstructured":"http:\/\/www.i2.com."},{"key":"19_CR35","unstructured":"http:\/\/www.ifcomputer.de\/consulting\/home.html ."},{"key":"19_CR36","unstructured":"ILOG. CPLEX. http:\/\/www.ilog.com\/products\/cplex\/ , 2001."},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint logic programming. In ACM, editor, POPL\u2019 87. Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of programming languages, January 21\u201323, 1987, Munich, W. Germany, pages 111\u2013119, New York, NY, USA, 1987. ACM Press.","DOI":"10.1145\/41625.41635"},{"key":"19_CR38","doi-asserted-by":"crossref","unstructured":"J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The CLP(R) language and system. ACM Trans. Prog. Lang. and Sys., 14(3), July 1992.","DOI":"10.1145\/129393.129398"},{"key":"19_CR39","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19 & 20:503\u2013582, May 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"19_CR40","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-540-48085-3_19","volume-title":"Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming","author":"U. Junker","year":"1999","unstructured":"U. Junker, S. E. Karisch, N. Kohl, B. Vaaben, T. Fahle, and M. Sellmann. A framework for constraint programming based column generation. In Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming-LNCS 1713, pages 261\u2013274. Springer-Verlag, 1999."},{"key":"19_CR41","unstructured":"Bob Kowalski. Logic for Problem Solving. North Holland, 1979."},{"key":"19_CR42","doi-asserted-by":"crossref","unstructured":"R. Kowalski, F. Toni, and G. Wetzel. Executing suspended logic programs. FUND-INF: Fundamenta Informatica, 34, 1998.","DOI":"10.3233\/FI-1998-34301"},{"key":"19_CR43","doi-asserted-by":"crossref","unstructured":"G. Kuper, L. Libkin, and J. Paradeans. Constraint Databases. Springer Verlag, 2000.","DOI":"10.1007\/978-3-662-04031-7"},{"key":"19_CR44","series-title":"Lect Notes Comput Sci","volume-title":"SALSA: A language for search algorithms","author":"F. Laburthe","year":"1998","unstructured":"F. Laburthe and Y. Caseau. SALSA: A language for search algorithms. Lecture Notes in Computer Science, 1520, 1998."},{"issue":"4","key":"19_CR45","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1023\/A:1009723704757","volume":"3","author":"C. Pape Le","year":"1998","unstructured":"C. Le Pape and P. Baptiste. Resource constraints for preemptive job-shop scheduling. Constraints, 3(4):263\u2013287, 1998.","journal-title":"Constraints"},{"key":"19_CR46","unstructured":"Claude Le Pape and Mark Wallace. From constraint programming to hybrid problem-solving algorithms. Tutorial at CP98, Pisa. http:\/\/www.icparc.ic.ac.uk\/~mgw\/cp98_Tutorial.ppt , 1998."},{"issue":"3\u20134","key":"19_CR47","first-page":"319","volume":"16","author":"Thierry Le Provost and Mark Wallace","year":"1993","unstructured":"Thierry Le Provost and Mark Wallace. Generalized constraint propagation over the CLP scheme. Journal of Logic Programming, 16(3\u20134):319\u2013359, August 1993.","journal-title":"Journal of Logic Programming"},{"key":"19_CR48","doi-asserted-by":"crossref","unstructured":"V. Liatsos and E. B. Richards. Scaleability in planning. In Proceedings of the 5th European Conference on Planning, Durham, UK, September 1999.","DOI":"10.1007\/10720246_4"},{"issue":"1","key":"19_CR49","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in network of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"19_CR50","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"A.K. Mackworth and E.C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25:65\u201374, 1985.","journal-title":"Artificial Intelligence"},{"key":"19_CR51","series-title":"Lect Notes Comput Sci","volume-title":"Localizer: A modeling language for local search","author":"L. Michel","year":"1997","unstructured":"L. Michel and P. Van Hentenryck. Localizer: A modeling language for local search. Lecture Notes in Computer Science, 1330, 1997."},{"key":"19_CR52","unstructured":"M. Milano, G. Ottosson, P. Refalo, and E. Thorsteinsson. Global constraints: When constraint programming meets operations research. Under Submission, 2001."},{"key":"19_CR53","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225\u2013233, 1986.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"19_CR54","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of constraints: fundamental properties and applications to picture processing. Information Science, 7(2):95\u2013132, 1974.","journal-title":"Information Science"},{"key":"19_CR55","unstructured":"Dash Optimization. XPRESS-MP. http:\/\/www.dash.co.uk\/ , 2001."},{"key":"19_CR56","unstructured":"http:\/\/www.practical-applications.co.uk\/paclp2000\/index.html ."},{"key":"19_CR57","unstructured":"http:\/\/www.pdc.dk\/ ."},{"key":"19_CR58","doi-asserted-by":"crossref","unstructured":"Gilles Pesant and Michel Gendreau. A view of local search in constraint programming. In Principles and Practice of Constraint Programming, pages 353\u2013366, 1996. http:\/\/citeseer.nj.nec.com\/pesant96view.html .","DOI":"10.1007\/3-540-61551-2_86"},{"key":"19_CR59","unstructured":"http:\/\/prologianet. univ-mrs. fr\/us\/domaines. htm ."},{"key":"19_CR60","unstructured":"http:\/\/www.parc-technologies.com."},{"key":"19_CR61","first-page":"362","volume":"1","author":"J.-C. Regin","year":"1994","unstructured":"J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proc. 12th Conf. American Assoc. Artificial Intelligence, volume 1, pages 362\u2013367. Amer. Assoc. Artificial Intelligence, 1994.","journal-title":"Proc. 12th Conf. American Assoc. Artificial Intelligence"},{"issue":"4","key":"19_CR62","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1023\/A:1006362926464","volume":"24","author":"E. Thomas Richards","year":"2000","unstructured":"E. Thomas Richards and Barry Richards. Nonsystematic search and no-good learning. Journal of Automated Reasoning, 24(4):483\u2013533, 2000. http:\/\/citeseer.nj.nec.com\/431873.html .","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR63","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1018904229454","volume":"86","author":"R. Rodosek","year":"1999","unstructured":"R. Rodosek, M. G. Wallace, and M. T. Hajian. A new approach to integrating mixed integer programming and constraint logic programming. Annals of Operations Research, 86:63\u201387, 1999. Special issue on Advances in Combinatorial Optimization.","journal-title":"Annals of Operations Research"},{"key":"19_CR64","unstructured":"H. El Sakkout, T. Richards, and M. G. Wallace. Minimal perturbance in dynamic scheduling. In Henri Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 504\u2013508, Chichester, August 23\u201328 1998. John Wiley & Sons."},{"issue":"4","key":"19_CR65","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1023\/A:1009856210543","volume":"5","author":"H. Sakkout El","year":"2000","unstructured":"Hani El Sakkout and Mark Wallace. Probe backtrack search for minimal perturbation in dynamic scheduling. Constraints, 5(4):359\u2013388, 2000.","journal-title":"Constraints"},{"key":"19_CR66","doi-asserted-by":"crossref","unstructured":"V. Saraswat, Rinard M., and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. 18th ACM POPL, Jan 1991.","DOI":"10.1145\/99583.99627"},{"key":"19_CR67","doi-asserted-by":"crossref","unstructured":"Vijay A. Saraswat, Martin Rinard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In Conf. Record 18th Annual ACM Symp. on Principles of Programming Languages, Orlando, FL, USA, 1991, pages 333\u201352. 1990.","DOI":"10.1145\/99583.99627"},{"key":"19_CR68","first-page":"80","volume":"4","author":"J. Schimpf","year":"1999","unstructured":"Joachim Schimpf and Mark Wallace. Finding the right algorithm-a combinatorial meta-problem. Electronic Notes in Discrete Mathematics, 4:80\u201392, 1999.","journal-title":"Electronic Notes in Discrete Mathematics"},{"key":"19_CR69","unstructured":"M. Sellmann and T. Fahle. Cp-based lagrangian relaxation for a multimedia application. Programme and papers presented at CPAIOR\u201901: http:\/\/www.icparc.ic.ac.uk\/cpAIOR01\/ , 2001."},{"key":"19_CR70","doi-asserted-by":"crossref","unstructured":"E. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3), 1989.","DOI":"10.1145\/72551.72555"},{"key":"19_CR71","doi-asserted-by":"crossref","unstructured":"Paul Shaw. Using constraint programming and local search methods to solve vehicle routing problems. In Principles and Practice of Constraint Programming, pages 417\u2013431, 1998. http:\/\/citeseer.nj.nec.com\/shaw98using.html .","DOI":"10.1007\/3-540-49481-2_30"},{"key":"19_CR72","unstructured":"http:\/\/www.sics.se\/isl\/decs\/ ."},{"key":"19_CR73","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB\u201995)","author":"H. Simonis","year":"1995","unstructured":"H. Simonis. Application development with the CHIP system. In Gabriel Kuper and Mark Wallace, editors, Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB\u201995), pages 1\u201321, Friedrichshafen, Germany, 1995. LNCS No. 1034."},{"key":"19_CR74","unstructured":"H. Simonis. More standard constraint models. Tutorial presented at PAPACT98, 1998."},{"key":"19_CR75","doi-asserted-by":"crossref","unstructured":"Peter J. Stuckey. Constraint search trees. In Lee Naish, editor, Proceedings of the 14th International Conference on Logic Programming, pages 301\u2013315, Cambridge, July 8\u201311 1997. MIT Press.","DOI":"10.7551\/mitpress\/4299.003.0027"},{"key":"19_CR76","doi-asserted-by":"crossref","unstructured":"A. V. Moura T. H. Yunes and C. C. de Souza. A hybrid approach for solving large scale crew scheduling problems. In Proceedings of the Second International Workshop on Practical Asp ects of Declarative Languages (PADL\u201900), pages 293\u2013307, Boston, MA, USA, 2000.","DOI":"10.1007\/3-540-46584-7_20"},{"key":"19_CR77","unstructured":"http:\/\/www.temposoft.fr."},{"key":"19_CR78","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, H. Simonis, and M. Dincbas. Constraint satisfaction using constraint logic programming. Artificial Intelligence, 58, 1992.","DOI":"10.1016\/0004-3702(92)90006-J"},{"key":"19_CR79","unstructured":"Pascal Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, 1999."},{"issue":"1","key":"19_CR80","first-page":"159","volume":"12","author":"M. G. Wallace","year":"1997","unstructured":"M. G. Wallace, S. Novello, and J. Schimpf. Eclipse-a platform for constraint programming. ICL Systems Journal, 12(1):159\u2013200, 1997. http:\/\/www.icparc.ic.ac.uk\/eclipse\/ .","journal-title":"ICL Systems Journal"},{"key":"19_CR81","doi-asserted-by":"crossref","unstructured":"Mark Wallace. Practical applications of constraint programming. Constraints Journal, 1(1), 1996.","DOI":"10.1007\/BF00143881"},{"key":"19_CR82","volume-title":"Technical Report AI271","author":"D. Waltz","year":"1972","unstructured":"D. Waltz. Generating semantic descriptions from drawings of scenes with shadows. Technical Report AI271, MIT, Massachusetts, November 1972."},{"key":"19_CR83","first-page":"313","volume":"1","author":"M. Yokoo","year":"1994","unstructured":"Makoto Yokoo. Weak-commitment search for solving constraint satisfaction problems. In AAAI, Vol. 1, pages 313\u2013318, 1994.","journal-title":"AAAI"},{"key":"19_CR84","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46584-7_20","volume-title":"Proc. 2nd International Workshop on Practical Aspects of Declarative Languages (PADL\u2019 00)","author":"T. H. Yunes","year":"2000","unstructured":"Tallys H. Yunes, Arnaldo V. Moura, and Cid C. de Souza. A hybrid approach for solving large scale crew scheduling problems. In Proc. 2nd International Workshop on Practical Aspects of Declarative Languages (PADL\u2019 00). Springer Verlag, January 17\u201318 2000. LNCS 1753."}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45628-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T08:30:33Z","timestamp":1707899433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45628-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439592","9783540456285"],"references-count":84,"URL":"https:\/\/doi.org\/10.1007\/3-540-45628-7_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}