{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:39:28Z","timestamp":1743053968807,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008000"},{"type":"electronic","value":"9783030008017"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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-030-00801-7_4","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T23:02:38Z","timestamp":1537916558000},"page":"53-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Proportional Constraint and Its Pruning"],"prefix":"10.1007","author":[{"given":"Armin","family":"Wolf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.ejor.2011.07.033","volume":"216","author":"M Bosman","year":"2012","unstructured":"Bosman, M., Bakker, V., Molderink, A., Hurink, J., Smit, G.: Planning the production of a fleet of domestic combined heat and power generators. Eur. J. Oper. Res. 216, 140\u2013151 (2012)","journal-title":"Eur. J. Oper. Res."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bozchalui, M.C., Sharma, R.: Optimal operation of commercial building microgrids using multi-objective optimization to achieve emissions and efficiency targets. In: 2012 IEEE Power and Energy Society General Meeting, pp. 1\u20138. IEEE (2012)","DOI":"10.1109\/PESGM.2012.6345600"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.enbuild.2014.12.039","volume":"90","author":"F Brahman","year":"2015","unstructured":"Brahman, F., Honarmand, M., Jadid, S.: Optimal electrical and thermal energy management of a residential energy hub, integrating demand response and energy storage system. Energy Build. 90, 65\u201375 (2015)","journal-title":"Energy Build."},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1479-4","volume-title":"Constraint-Based Scheduling - Applying Constraint Programming to Scheduling Problems","author":"P Baptiste","year":"2001","unstructured":"Baptiste, P., Pape, C.L., Nuijten, W.: Constraint-Based Scheduling - Applying Constraint Programming to Scheduling Problems. Springer, Boston (2001). \n                      https:\/\/doi.org\/10.1007\/978-1-4615-1479-4"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/1065887.1065889","volume":"27","author":"C Schulte","year":"2005","unstructured":"Schulte, C., Stuckey, P.J.: When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. (TOPLAS) 27(3), 388\u2013425 (2005)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s13218-011-0161-4","volume":"26","author":"A Wolf","year":"2012","unstructured":"Wolf, A.: firstCS - new aspects on combining constraint programming with object-orientation in Java. KI - K\u00fcnstliche Intelligenz 26(1), 55\u201360 (2012)","journal-title":"KI - K\u00fcnstliche Intelligenz"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-63165-8_163","volume-title":"Automata, Languages and Programming","author":"KR Apt","year":"1997","unstructured":"Apt, K.R.: From chaotic iteration to constraint propagation. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 36\u201355. Springer, Heidelberg (1997). \n                      https:\/\/doi.org\/10.1007\/3-540-63165-8_163"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11941439_9","volume-title":"AI 2006: Advances in Artificial Intelligence","author":"CW Choi","year":"2006","unstructured":"Choi, C.W., Harvey, W., Lee, J.H.M., Stuckey, P.J.: Finite domain bounds consistency revisited. In: Sattar, A., Kang, B. (eds.) AI 2006. LNCS (LNAI), vol. 4304, pp. 49\u201358. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11941439_9"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00801-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T04:43:51Z","timestamp":1558327431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00801-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008000","9783030008017"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00801-7_4","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":"27 September 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WLP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshop on Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wlp2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/declare17.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}