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

DOI10.1007/978-3-031-15707-3_32OpenAlexW4293180339MaRDI QIDQ2694597

Mirek Truszczynski, Liu Liu, 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

machine learninganswer set programmingencoding selection

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Uses Software

• Gringo
• claspfolio 2
• Lpopt
• aspeed

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conflict-driven answer set solving: from theory to practice
• Lpopt: a rule optimization tool for answer set programming
• Generating hard satisfiability problems
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• 10.1162/153244303322753616
• The Seventh Answer Set Programming Competition: Design and Results
• The Sixth Answer Set Programming Competition
• Algorithm portfolios

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