scientific article; zbMATH DE number 7453125

MaRDI QIDQ5020571

Miroslaw Truszczynski, Liu Liu

Publication date: 6 January 2022

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

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 ⋮ Unnamed Item

Uses Software

• SATzilla
• WASP
• Lpopt

Cites Work

• Unnamed Item
• The design of the Seventh Answer Set Programming Competition
• Lpopt: a rule optimization tool for answer set programming
• Generating hard satisfiability problems
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Performance Tuning in Answer Set Programming
• ParamILS: An Automatic Algorithm Configuration Framework
• The DLV system for knowledge representation and reasoning
• Algorithm portfolios