• search hit 1 of 0
Back to Result List

claspfolio 2

  • Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration of claspfolio 2 relies on a light-weight version of the ASP solver clasp to generate static and dynamic instance features. The flexible open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of theBuilding on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration of claspfolio 2 relies on a light-weight version of the ASP solver clasp to generate static and dynamic instance features. The flexible open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of the various approaches and techniques, we identified a default configuration of claspfolio 2 that achieves substantial performance gains not only over clasp's default configuration and the earlier version of claspfolio, but also over manually tuned configurations of clasp.show moreshow less

Download full text files

  • SHA-1: c96c7ad026a94be1340a16764d9f0724e2b808eb

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Holger HoosORCiD, Marius LindauerORCiDGND, Torsten H. SchaubORCiDGND
URN:urn:nbn:de:kobv:517-opus4-416129
DOI:https://doi.org/10.25932/publishup-41612
ISSN:1866-8372
Title of parent work (English):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
Subtitle (English):advances in algorithm selection for answer set programming
Publication series (Volume number):Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (606)
Publication type:Postprint
Language:English
Date of first publication:2019/02/15
Publication year:2014
Publishing institution:Universität Potsdam
Release date:2019/02/15
Tag:sat; solver
Issue:606
Number of pages:17
Source:Theory and Practice of Logic Programming 14 (2014) 4–5, pp. 569–585 DOI 10.1017/S1471068414000210
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät
DDC classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer review:Referiert
Publishing method:Open Access
Grantor:Cambridge University Press (CUP)
License (German):License LogoKeine öffentliche Lizenz: Unter Urheberrechtsschutz
External remark:Bibliographieeintrag der Originalveröffentlichung/Quelle
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.