{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:38:34Z","timestamp":1725467914577},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649939"},{"type":"electronic","value":"9783540497936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057433","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T00:47:47Z","timestamp":1154306867000},"page":"39-49","source":"Crossref","is-referenced-by-count":0,"title":["An extension of SATPLAN for planning with constraints"],"prefix":"10.1007","author":[{"given":"Marco","family":"Baioletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marcugini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Milani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,27]]},"reference":[{"issue":"1\u20132","key":"4_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A.L. Blum","year":"1997","unstructured":"A.L. Blum, M.L. Furst. Fast Planning through Planning Graph Analysis. Artif. Intell 90(1\u20132): 281\u2013300, 1997","journal-title":"Artif. Intell"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"M. Baioletti, S. Marcugini, A. Milani. Encoding Planning Constraints into Partial Order Planning Domains. Proc. of KR 1998.","DOI":"10.1007\/3-540-63576-9_118"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"R. J. Bayardo jr., R. C. Schrag. Using CSP Look-Back Techniques to Solve Real-World SAT Instances. Proc. of AAAI 1997.","DOI":"10.1007\/3-540-61551-2_65"},{"issue":"1\u20132","key":"4_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0004-3702(95)00046-1","volume":"81","author":"J. M. Crawford","year":"1996","unstructured":"J. M. Crawford, L. D. Auton. Experimental Results on the Crossover Point in Random 3SAT. Artif. Intell. 81 (1\u20132): 31\u201357, 1996.","journal-title":"Artif. Intell."},{"key":"4_CR5","unstructured":"M. D. Ernst, T. D. Milstein, D. S. Weld. Automatic SAT-Compilation of Planning Problems. Proc. Of IJCAI 1997"},{"key":"4_CR6","unstructured":"H. Kautz, B. Selman. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. Proc. of AAAI-96."},{"key":"4_CR7","unstructured":"H. Kautz, B. Selman. Planning as Satisfiability Proc. of ECAI 1992."},{"key":"4_CR8","unstructured":"H. Kautz, D. McAllester, B. Selman. Encoding Plans in Propositional Logic Proc. of KR-96."},{"key":"4_CR9","unstructured":"J.S. Penberthy and D. Weld. UCPOP: A Sound, Complete Partial Order Planner for ADL. In Proc. of KR-92."},{"key":"4_CR10","unstructured":"K. Erol, J. Hendler, D.S. Nau. HTN Planning: Complexity and Expressivity. In Proc. of AAAI-94."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"M. Georgeff Planning. In Annual Review of Computer Science, vol. 2, 1987","DOI":"10.1146\/annurev.cs.02.060187.002043"},{"key":"4_CR12","unstructured":"D. Weld, O. Etzioni. The first law of robotics (a call to arms). Proc. of AAAI-94."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"E.D.P. Pednault. Synthesizing Plans That Contains Actions With Context-Dependent Effects. Computational Intelligence, Vol. 4, 1988","DOI":"10.1111\/j.1467-8640.1988.tb00285.x"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:15:25Z","timestamp":1555748125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649939","9783540497936"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0057433","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}