{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:51Z","timestamp":1750308531437,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,3,14]],"date-time":"2016-03-14T00:00:00Z","timestamp":1457913600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,3,14]]},"DOI":"10.1145\/2892664.2892671","type":"proceedings-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T13:50:50Z","timestamp":1458309050000},"page":"65-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatically selecting and optimizing constraint solver procedures for object-constraint languages"],"prefix":"10.1145","author":[{"given":"Tim","family":"Felgentreff","sequence":"first","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Lehmann","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Hirschfeld","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Gerstenberg","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Reschke","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"R\u00fcckert","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Siegler","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Graichen","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Nicolai","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Swart","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,3,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/504704.504705"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357147"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01807506"},{"key":"e_1_3_2_1_4_1","first-page":"340","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"de Moura L.","unstructured":"L. de Moura and N. Bj\u00f8rner . Z3: An efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , pages 337\u2013 340 . Springer, 2008. L. de Moura and N. Bj\u00f8rner. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 337\u2013340. Springer, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840848"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2014.13.4.a1"},{"key":"e_1_3_2_1_7_1","first-page":"436","volume-title":"Babelsberg\/JS. In Proceedings of the European Conference on Object-oriented Programming (ECOOP)","author":"Felgentreff T.","unstructured":"T. Felgentreff , A. Borning , R. Hirschfeld , J. Lincke , Y. Ohshima , B. Freudenberg , and R. Krahn . Babelsberg\/JS. In Proceedings of the European Conference on Object-oriented Programming (ECOOP) , pages 411\u2013 436 . Springer, jul 2014. T. Felgentreff, A. Borning, R. Hirschfeld, J. Lincke, Y. Ohshima, B. Freudenberg, and R. Krahn. Babelsberg\/JS. In Proceedings of the European Conference on Object-oriented Programming (ECOOP), pages 411\u2013436. Springer, jul 2014."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814311"},{"key":"e_1_3_2_1_9_1","first-page":"180","volume-title":"Proceedings of the IEEE International Conference on Computer Languages","author":"Freeman-Benson B.","unstructured":"B. Freeman-Benson and A. Borning . The design and implementation of kaleidoscope\u201990, a constraint imperative programming language . In Proceedings of the IEEE International Conference on Computer Languages , pages 174\u2013 180 . Institute of Electrical & Electronics Engineers (IEEE), apr 1992. B. Freeman-Benson and A. Borning. The design and implementation of kaleidoscope\u201990, a constraint imperative programming language. In Proceedings of the IEEE International Conference on Computer Languages, pages 174\u2013180. Institute of Electrical & Electronics Engineers (IEEE), apr 1992."},{"key":"e_1_3_2_1_10_1","first-page":"542","volume-title":"Proceedings of the Annual IEEE Phoenix Conference on Computers and Communications","author":"Freeman-Benson B.","unstructured":"B. Freeman-Benson and J. Maloney . The deltablue algorithm: An incremental constraint hierarchy solver . In Proceedings of the Annual IEEE Phoenix Conference on Computers and Communications , pages 538\u2013 542 . Institute of Electrical & Electronics Engineers (IEEE), mar 1989. B. Freeman-Benson and J. Maloney. The deltablue algorithm: An incremental constraint hierarchy solver. In Proceedings of the Annual IEEE Phoenix Conference on Computers and Communications, pages 538\u2013542. Institute of Electrical & Electronics Engineers (IEEE), mar 1989."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/76372.77531"},{"key":"e_1_3_2_1_12_1","first-page":"5","volume-title":"Workshop on Reactive and Event-based Languages & Systems (REBLS)","author":"Graber M.","year":"2014","unstructured":"M. Graber , T. Felgentreff , R. Hirschfeld , and A. Borning . Solving interactive logic puzzles with object-constraints \u2014 an experience report using Babelsberg\/S for Squeak\/Smalltalk . In Workshop on Reactive and Event-based Languages & Systems (REBLS) , pages 1:1\u2013\u20131: 5 , 2014 . M. Graber, T. Felgentreff, R. Hirschfeld, and A. Borning. Solving interactive logic puzzles with object-constraints \u2014 an experience report using Babelsberg\/S for Squeak\/Smalltalk. In Workshop on Reactive and Event-based Languages & Systems (REBLS), pages 1:1\u2013\u20131:5, 2014."},{"key":"e_1_3_2_1_13_1","first-page":"198","volume-title":"Research and Development in Intelligent Systems XX","author":"Grabm\u00fcller M.","unstructured":"M. Grabm\u00fcller and P. Hofstedt . Turtle: A constraint imperative programming language . In Research and Development in Intelligent Systems XX , pages 185\u2013 198 . Springer, 2004. M. Grabm\u00fcller and P. Hofstedt. Turtle: A constraint imperative programming language. In Research and Development in Intelligent Systems XX, pages 185\u2013198. Springer, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/237091.237112"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191118"},{"key":"e_1_3_2_1_16_1","first-page":"329","volume-title":"Constraint Programming","author":"Lopez G.","unstructured":"G. Lopez , B. Freeman-Benson , and A. Borning . Kaleidoscope: A constraint imperative programming language . In Constraint Programming , pages 313\u2013 329 . Springer, 1994. G. Lopez, B. Freeman-Benson, and A. Borning. Kaleidoscope: A constraint imperative programming language. In Constraint Programming, pages 313\u2013329. Springer, 1994."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985863"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.60882"},{"key":"e_1_3_2_1_19_1","volume-title":"ILOG","author":"Puget J.-F.","year":"1994","unstructured":"J.-F. Puget . A C++ implementation of CLP. Technical report , ILOG , 1994 . J.-F. Puget. A C++ implementation of CLP. Technical report, ILOG, 1994."},{"key":"e_1_3_2_1_20_1","volume-title":"iOS Auto Layout Demystified","author":"Sadun E.","year":"2013","unstructured":"E. Sadun . iOS Auto Layout Demystified . Addison-Wesley , oct 2013 . E. Sadun. iOS Auto Layout Demystified. Addison-Wesley, oct 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837476.2837485"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1461551.1461591"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_24_1","first-page":"647","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Torlak E.","unstructured":"E. Torlak and D. Jackson . Kodkod: A relational model finder . In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , pages 632\u2013 647 . Springer, jan 2007. E. Torlak and D. Jackson. Kodkod: A relational model finder. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 632\u2013647. Springer, jan 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/16\/1\/071"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(00)00087-9"},{"key":"e_1_3_2_1_27_1","unstructured":"Introduction Automatic Solver Selection Eager Selection by Type Selection by Preference Heuristic Selection Fast Incremental Constraint Solving Automatic Edit Constraints Related Work Conclusions  Introduction Automatic Solver Selection Eager Selection by Type Selection by Preference Heuristic Selection Fast Incremental Constraint Solving Automatic Edit Constraints Related Work Conclusions"}],"event":{"name":"Modularity '16: Companion volume of the 15th International Conference on Modularity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"M\u00e1laga Spain","acronym":"Modularity '16"},"container-title":["Companion Proceedings of the 15th International Conference on Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892664.2892671","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2892664.2892671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:55:55Z","timestamp":1750272955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892664.2892671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,14]]},"references-count":27,"alternative-id":["10.1145\/2892664.2892671","10.1145\/2892664"],"URL":"https:\/\/doi.org\/10.1145\/2892664.2892671","relation":{},"subject":[],"published":{"date-parts":[[2016,3,14]]},"assertion":[{"value":"2016-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}