{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:39:53Z","timestamp":1752460793524},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678663"},{"type":"electronic","value":"9783540446576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720246_19","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T11:15:39Z","timestamp":1167390939000},"page":"239-251","source":"Crossref","is-referenced-by-count":3,"title":["Integer Programs and Valid Inequalities for Planning Problems"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bockmayr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannis","family":"Dimopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Operations Research Computer Science Interfaces Series","author":"P. Barth","year":"1996","unstructured":"Barth, P.: Logic-based 0-1 constraint programming. Operations Research Computer Science Interfaces Series. Kluwer, Dordrecht (1996), \n                  \n                    http:\/\/www.mpi-sb.mpg.de\/~barth\/opbdp\/opbdp.html"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1023\/A:1018981813157","volume":"81","author":"P. Barth","year":"1998","unstructured":"Barth, P., Bockmayr, A.: Modelling discrete optimisation problems in constraint logic programming. Annals of Operations Research\u00a081, 467\u2013496 (1998)","journal-title":"Annals of Operations Research"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence\u00a090, 281\u2013300 (1997)","journal-title":"Artificial Intelligence"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-59155-9_2","volume-title":"Constraint Programming: Basics and Trends","author":"A. Bockmayr","year":"1995","unstructured":"Bockmayr, A.: Solving pseudo-Boolean constraints. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, pp. 22\u201338. Springer, Heidelberg (1995)"},{"key":"19_CR5","unstructured":"Bockmayr, A., Dimopoulos, Y.: Mixed integer programming models for planning problems. In: CP 1998 Workshop on Constraint Problem Reformulation (1998)"},{"key":"19_CR6","unstructured":"Bonet, B., Loerincs, G., Geffner, H.: A fast and robust action selection mechanism for planning. In: AAAI 1997 (1997)"},{"key":"19_CR7","unstructured":"Bylander, T.: A Linear Programming Heuristic for Optimal Planning. In: AAAI 1997 (1997)"},{"key":"19_CR8","unstructured":"CPLEX Optimization, Inc. Using the CPLEX callable library (1995), \n                  \n                    http:\/\/www.cplex.com"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Gerevini, A., Schubert, L.: Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning. Journal of Artificial Intelligence Research\u00a05 (1996)","DOI":"10.1613\/jair.316"},{"key":"19_CR10","unstructured":"Huang, Y.-C., Selman, B., Kautz, H.: Control Knowledge in Planning: Benefits and Tradeoffs. In: IJCAI 1999 (1999)"},{"key":"19_CR11","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: planning, propositional logic and stochastic search. In: AAAI 1996 (1996)"},{"key":"19_CR12","unstructured":"Kautz, H., Selman, B.: The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. In: AIPS 1998 (1998)"},{"key":"19_CR13","unstructured":"Kautz, H., Selman, B.: Unifying SAT-based and Graph-based Planning. In: IJCAI 1999 (1999)"},{"key":"19_CR14","unstructured":"Kautz, H., Walser, J.: State-Space Planning by Integer Optimization. In: AAAI 1999 (1999)"},{"key":"19_CR15","unstructured":"Koehler, J.: Planning under Resource Constraints. In: ECAI 1998 (1998)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63912-8_92","volume-title":"Recent Advances in AI Planning","author":"J. Koehler","year":"1997","unstructured":"Koehler, J., Nebel, B., Hoffmann, J., Dimopoulos, Y.: Extending Planning Graphs to an ADL Subset. In: Steel, S. (ed.) ECP 1997. LNCS, vol.\u00a01348. Springer, Heidelberg (1997)"},{"key":"19_CR17","unstructured":"McDermott, D.: A heuristic estimator for means-ends analysis in planning. In: AIPS 1996 (1996)"},{"key":"19_CR18","volume-title":"Integer and Combinatorial Optimization","author":"G.L. Nemhauser","year":"1988","unstructured":"Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Wiley, Chichester (1988)"},{"key":"19_CR19","unstructured":"van Beek, P., Chen, X.: CPlan: A Constraint Programming Approach to Planning. In: AAAI 1999 (1999)"},{"key":"19_CR20","unstructured":"Vossen, T., Ball, M., Lotem, A., Nau, D.: On the Use of Integer Programming Models in AI Planning. In: IJCAI 1999 (1999)"},{"key":"19_CR21","unstructured":"Wolfman, S., Weld, D.: The LPSAT Engine and its Application to Resource Planning. In: IJCAI 1999 (1999)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in AI Planning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720246_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T22:21:10Z","timestamp":1552861270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720246_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678663","9783540446576"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/10720246_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}