A machine learning system to improve the performance of ASP solving based on encoding selection

DOI10.1007/978-3-031-15707-3_32MaRDI QIDQ2694597zbMATH OpenOpenAlexFDO

Authors Liu Liu, Mirek Truszczynski, Yuliya Lierler

Publication date 4 April 2023

Full work available at URL https://doi.org/10.1007/978-3-031-15707-3_32

zbMATH Keywords

answer set programmingencoding selectionmachine learning

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites work

• 10.1162/153244303322753616
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Algorithm portfolios
• Conflict-driven answer set solving: from theory to practice
• Generating hard satisfiability problems
• scientific article; zbMATH DE number 7453125 (Why is no real title available?)
• scientific article; zbMATH DE number 7455711 (Why is no real title available?)
• scientific article; zbMATH DE number 7455725 (Why is no real title available?)
• scientific article; zbMATH DE number 6261538 (Why is no real title available?)
• The Seventh Answer Set Programming Competition: Design and Results
• The Sixth Answer Set Programming Competition

Cited in

(2)

• Adaptive large-neighbourhood search for optimisation in answer-set programming
• System predictor: grounding size estimator for logic programs under answer set semantics

Describes a project that uses

Uses Software

• Lpopt
• Gringo
• aspeed
• claspfolio 2

This page was built for publication: A machine learning system to improve the performance of ASP solving based on encoding selection

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