scientific article; zbMATH DE number 7455711

MaRDI QIDQ5020969

Miroslaw Truszczynski, Michael Dingess

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10240

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

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

Uses Software

• SATzilla
• Clingo
• Lpopt
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Lpopt: a rule optimization tool for answer set programming
• Multi-Criteria Optimization in Answer Set Programming
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Performance Tuning in Answer Set Programming
• ASP-Core-2 Input Language Format
• Multi-shot ASP solving with clingo