{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:19:59Z","timestamp":1743052799474,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319930305"},{"type":"electronic","value":"9783319930312"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93031-2_42","type":"book-chapter","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T06:04:24Z","timestamp":1528351464000},"page":"585-594","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Symbolic Bucket Elimination for Piecewise Continuous Constrained Optimization"],"prefix":"10.1007","author":[{"given":"Zhijiang","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Buser","family":"Say","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Sanner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,8]]},"reference":[{"unstructured":"Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. In: Proceedings of the 1993 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 1993, pp. 188\u2013191. IEEE Computer Society Press, Los Alamitos (1993). http:\/\/dl.acm.org\/citation.cfm?id=259794.259826","key":"42_CR1"},{"key":"42_CR2","volume-title":"Nonserial Dynamic Programming","author":"U Bertele","year":"1972","unstructured":"Bertele, U., Brioschi, F.: Nonserial Dynamic Programming. Academic Press Inc., Orlando (1972)"},{"issue":"2","key":"42_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201\u2013236 (1997). https:\/\/doi.org\/10.1145\/256303.256306","journal-title":"J. ACM"},{"issue":"8","key":"42_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986). https:\/\/doi.org\/10.1109\/TC.1986.1676819","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"42_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. J. ACM 7(3), 201\u2013215 (1960). https:\/\/doi.org\/10.1145\/321033.321034","journal-title":"J. ACM"},{"key":"42_CR6","series-title":"Symbolic Computation","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-1-4613-8788-6_11","volume-title":"Search in Artificial Intelligence","author":"R Dechter","year":"1988","unstructured":"Dechter, R., Pearl, J.: Network-based heuristics for constraint satisfaction problems. In: Kanal, L., Kumar, V. (eds.) Search in Artificial Intelligence. SYMBOLIC, pp. 370\u2013425. Springer, London (1988). https:\/\/doi.org\/10.1007\/978-1-4613-8788-6_11. http:\/\/dl.acm.org\/citation.cfm?id=60727.60738"},{"issue":"1","key":"42_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R Dechter","year":"1999","unstructured":"Dechter, R.: Bucket elimination: a unifying framework for reasoning. Artif. Intell. 113(1), 41\u201385 (1999). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370299000594","journal-title":"Artif. Intell."},{"key":"42_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01566-3","volume-title":"Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms","author":"R Dechter","year":"2013","unstructured":"Dechter, R.: Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms. Morgan & Claypool Publishers, San Rafael (2013)"},{"issue":"1\u20133","key":"42_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1\u20133), 61\u201395 (1991). https:\/\/doi.org\/10.1016\/0004-3702(91)90006-6","journal-title":"Artif. Intell."},{"unstructured":"Gurobi Optimization, Inc.: Gurobi optimizer reference manual (2016). http:\/\/www.gurobi.com","key":"42_CR10"},{"key":"42_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"unstructured":"Khatib, L., Morris, P., Morris, R., Rossi, F.: Temporal constraint reasoning with preferences. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, IJCAI 2001, vol. 1, pp. 322\u2013327. Morgan Kaufmann Publishers Inc., San Francisco (2001). http:\/\/dl.acm.org\/citation.cfm?id=1642090.1642135","key":"42_CR12"},{"key":"42_CR13","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1023\/A:1025627211942","volume":"8","author":"J Larrosa","year":"2003","unstructured":"Larrosa, J., Dechter, R.: Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Constraints 8, 303\u2013326 (2003)","journal-title":"Constraints"},{"key":"42_CR14","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1613\/jair.1541","volume":"23","author":"J Larrosa","year":"2005","unstructured":"Larrosa, J., Morancho, E., Niso, D.: On the practical use of variable elimination in constraint optimization problems: \u2018still-life\u2019 as a case study. J. Artif. Intell. Res. 23, 421\u2013440 (2005)","journal-title":"J. Artif. Intell. Res."},{"unstructured":"Nair, V., Hinton, G.E.: Rectified linear units improve restricted Boltzmann machines. In: ICML, pp. 807\u2013814 (2010). http:\/\/www.icml2010.org\/papers\/432.pdf","key":"42_CR15"},{"issue":"4","key":"42_CR16","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10732-006-6726-y","volume":"12","author":"E Roll\u00f3n","year":"2006","unstructured":"Roll\u00f3n, E., Larrosa, J.: Bucket elimination for multiobjective optimization problems. J. Heuristics 12(4), 307\u2013328 (2006). https:\/\/doi.org\/10.1007\/s10732-006-6726-y","journal-title":"J. Heuristics"},{"doi-asserted-by":"crossref","unstructured":"Sanner, S., Abbasnejad, E.: Symbolic variable elimination for discrete and continuous graphical models. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 1954\u20131960. AAAI Press (2012). http:\/\/dl.acm.org\/citation.cfm?id=2900929.2901004","key":"42_CR17","DOI":"10.1609\/aaai.v26i1.8406"},{"unstructured":"Sanner, S., Delgado, K., Barros, L.: Symbolic dynamic programming for discrete and continuous state MDPs. In: UAI, pp. 643\u2013652, January 2011","key":"42_CR18"},{"doi-asserted-by":"publisher","unstructured":"Say, B., Wu, G., Zhou, Y.Q., Sanner, S.: Nonlinear hybrid planning with deep net learned transition models and mixed-integer linear programming. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 750\u2013756 (2017). https:\/\/doi.org\/10.24963\/ijcai.2017\/104","key":"42_CR19","DOI":"10.24963\/ijcai.2017\/104"},{"doi-asserted-by":"crossref","unstructured":"Zamani, Z., Sanner, S., Fang, C.: Symbolic dynamic programming for continuous state and action MDPs. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 1839\u20131845. AAAI Press (2012). http:\/\/dl.acm.org\/citation.cfm?id=2900929.2900988","key":"42_CR20","DOI":"10.1609\/aaai.v26i1.8372"}],"container-title":["Lecture Notes in Computer Science","Integration of Constraint Programming, Artificial Intelligence, and Operations Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93031-2_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:30:38Z","timestamp":1709832638000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-93031-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319930305","9783319930312"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93031-2_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CPAIOR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Delft","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cpaior2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/cpaior2018\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}