Conflict-driven answer set solving: From theory to practice

427 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns (2016, methodology): “With minor changes, our system will also work with traditional SAT-based implementations such as CLASP (Gebser et al. 2012; Gebser et al. 2014).”
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates (2017, methodology): “Our first set of benchmarks involves running time minimization; these consist of different instance sets taken from each of four widely studied combinatorial problems (mixed-integer programming (MIP), propositional satisfiability (SAT), AI planning, and answer set programming (ASP)) and one or more ”
Efficient Parameter Importance Analysis via Ablation with Surrogates (2017, background): “CLASP-WS Clasp (Gebser, Kaufmann, and Schaub 2012) is a state-of-the-art solver for ASP.”