{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T00:24:40Z","timestamp":1779323080378,"version":"3.51.4"},"reference-count":37,"publisher":"Cambridge University Press (CUP)","issue":"5-6","license":[{"start":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T00:00:00Z","timestamp":1476403200000},"content-version":"unspecified","delay-in-days":43,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2016,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner Units Problem (PUP) and the Combined Configuration Problem (CCP). The hardest instances of PUP and CCP are out of reach for state-of-the-art ASP solvers. Experiments show that the performance of ASP solvers could be significantly improved by embedding domain-specific heuristics, but a proper effective integration of such criteria in off-the-shelf ASP implementations is not obvious. In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP. As a byproduct of this activity, the ASP solver<jats:sc>wasp<\/jats:sc>was extended with an interface that eases embedding new external heuristics in the solver. The evaluation shows that our domain-heuristic-driven ASP solver finds solutions for all the real-world instances of PUP and CCP ever provided by Siemens.<\/jats:p>","DOI":"10.1017\/s1471068416000284","type":"journal-article","created":{"date-parts":[[2016,10,15]],"date-time":"2016-10-15T21:28:20Z","timestamp":1476566900000},"page":"653-669","source":"Crossref","is-referenced-by-count":25,"title":["Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)"],"prefix":"10.1017","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5617-5286","authenticated-orcid":false,"given":"CARMINE","family":"DODARO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PHILIP","family":"GASTEIGER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NICOLA","family":"LEONE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BENJAMIN","family":"MUSITSCH","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FRANCESCO","family":"RICCA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KOSTYANTYN","family":"SHCHEKOTYKHIN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2016,10,14]]},"reference":[{"key":"S1471068416000284_ref32","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000265"},{"key":"S1471068416000284_ref13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-319-22002-4_7","volume-title":"Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings","author":"Dodaro","year":"2015"},{"key":"S1471068416000284_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000210"},{"key":"S1471068416000284_ref28","first-page":"384","volume-title":"Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings","author":"Gebser","year":"2015"},{"key":"S1471068416000284_ref27","doi-asserted-by":"crossref","unstructured":"Gebser M. , Maratea M. and Ricca F. 2015b. The sixth answer set programming competition web site. http:\/\/aspcomp2015.dibris.unige.it\/.","DOI":"10.1007\/978-3-319-23264-5_44"},{"key":"S1471068416000284_ref6","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/3-540-45402-0_39","volume-title":"Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings","author":"Balduccini","year":"2001"},{"key":"S1471068416000284_ref18","first-page":"115","article-title":"Modeling and solving technical product configuration problems.","volume":"25","author":"Falkner","year":"2011","journal-title":"AI EDAM"},{"key":"S1471068416000284_ref7","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-45402-0_14","volume-title":"Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings","author":"Baral","year":"2001"},{"key":"S1471068416000284_ref34","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000094"},{"key":"S1471068416000284_ref25","first-page":"345","volume-title":"Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings","author":"Gebser","year":"2011"},{"key":"S1471068416000284_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"S1471068416000284_ref2","first-page":"40","volume-title":"Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings","author":"Alviano","year":"2015"},{"key":"S1471068416000284_ref26","volume-title":"Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.","author":"Gebser","year":"2013"},{"key":"S1471068416000284_ref35","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1016\/j.datak.2010.01.005","article-title":"The consistency extractor system: Answer set programs for consistent query answering in databases.","volume":"69","author":"Marileo","year":"2010","journal-title":"Data Knowl. Eng."},{"key":"S1471068416000284_ref33","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000320"},{"key":"S1471068416000284_ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000598"},{"key":"S1471068416000284_ref24","first-page":"368","volume-title":"Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings","author":"Gebser","year":"2015"},{"key":"S1471068416000284_ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000149"},{"key":"S1471068416000284_ref14","first-page":"170","volume-title":"IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012","author":"Drescher","year":"2012"},{"key":"S1471068416000284_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068416000284_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"S1471068416000284_ref5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/AIC-2011-0493","article-title":"Learning and using domain-specific heuristics in ASP solvers.","volume":"24","author":"Balduccini","year":"2011","journal-title":"AI Commun."},{"key":"S1471068416000284_ref15","first-page":"502","volume-title":"Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers","author":"E\u00e9n","year":"2003"},{"key":"S1471068416000284_ref36","unstructured":"Ryabokon A. 2015. Knowledge-based (Re)configuration of Complex Products and Services. Ph.D. thesis, Alpen-Adria-University Klagenfurt."},{"key":"S1471068416000284_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.09.008"},{"key":"S1471068416000284_ref19","first-page":"332","volume-title":"Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings","author":"Falkner","year":"2015"},{"key":"S1471068416000284_ref1","unstructured":"Albrecht A. 1979. Measuring Application Development Productivity. In IBM Application Development Symp., I. B. M. Press, Ed. Proc. of IBM Application Development Symp., 83\u201392."},{"key":"S1471068416000284_ref4","first-page":"497","volume-title":"IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011","author":"Aschinger","year":"2011"},{"key":"S1471068416000284_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000525"},{"key":"S1471068416000284_ref21","unstructured":"Friedrich G. 2015. Industrial success stories of ASP and CP: What's still open? Joint invited talk at ICLP and CP 2015 - http:\/\/booleconferences.ucc.ie\/iclp2015speakers."},{"key":"S1471068416000284_ref23","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"S1471068416000284_ref37","volume-title":"Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada","author":"Teppan","year":"2012"},{"key":"S1471068416000284_ref11","doi-asserted-by":"publisher","DOI":"10.1080\/0952813X.2014.993503"},{"key":"S1471068416000284_ref8","volume-title":"Handbook of Satisfiability","author":"Biere","year":"2009"},{"key":"S1471068416000284_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.12.002"},{"key":"S1471068416000284_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20832-4_27"},{"key":"S1471068416000284_ref3","first-page":"4","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings","author":"Aschinger","year":"2011"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068416000284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T13:18:52Z","timestamp":1692537532000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000284\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":37,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["S1471068416000284"],"URL":"https:\/\/doi.org\/10.1017\/s1471068416000284","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}