scientific article; zbMATH DE number 7455711

MaRDI QIDQ5020969zbMATH OpenFDO

Authors Michael Dingess, Mirosław Truszczyński

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10240, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.17

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• ASP-Core-2 input language format
• scientific article; zbMATH DE number 7453125 (Why is no real title available?)
• Multi-criteria optimization in answer set programming
• Multi-shot ASP solving with clingo
• Performance tuning in answer set programming
• SATzilla: portfolio-based algorithm selection for SAT

Cited in

(2)

• A machine learning system to improve the performance of ASP solving based on encoding selection
• On the configuration of more and less expressive logic programs

Describes a project that uses

Uses Software

• SATzilla
• Clingo
• Lpopt
• GitHub

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020969)