scientific article; zbMATH DE number 7453125

MaRDI QIDQ5020571zbMATH OpenFDO

Authors Liu Liu, Mirosław Truszczyński

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08252, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.35

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Algorithm portfolios
• Generating hard satisfiability problems
• Paramils: an automatic algorithm configuration framework
• Performance tuning in answer set programming
• SATzilla: portfolio-based algorithm selection for SAT
• The design of the Seventh Answer Set Programming Competition
• The DLV system for knowledge representation and reasoning

Cited in

(2)

• A machine learning system to improve the performance of ASP solving based on encoding selection
• scientific article; zbMATH DE number 7455711 (Why is no real title available?)

Describes a project that uses

Uses Software

• WASP
• Lpopt
• SATzilla

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 Q5020571)