2026-08-17T08:49:37Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3161 2024-03-06T10:33:53Z ddc:004 open_access

Multi-Criteria Optimization in Answer Set Programming Gebser, Martin Kaminski, Roland Kaufmann, Benjamin Schaub, Torsten Answer Set Programming Multi-Criteria Optimization Linux Package Configuration We elaborate upon new strategies and heuristics for solving multi-criteria optimization problems via Answer Set Programming (ASP). In particular, we conceive a new solving algorithm, based on conflictdriven learning, allowing for non-uniform descents during optimization. We apply these techniques to solve realistic Linux package configuration problems. To this end, we describe the Linux package configuration tool aspcud and compare its performance with systems pursuing alternative approaches. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub 2011 Is Part Of LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2011.1 urn:nbn:de:0030-drops-31617 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.1 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode