135 citations · 319 across the 25 of their papers we have counts for
3 papers · 1 filter
Driving CDCL Search
Carmine Dodaro, Philip Gasteiger, Nicola Leone +3
The CDCL algorithm is the leading solution adopted by state-of-the-art solvers for SAT, SMT, ASP, and others. Experiments show that the performance of CDCL solvers can be significa…
An integrated Graphical User Interface for Debugging Answer Set Programs
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch +3
Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interes…
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Carmine Dodaro, Philip Gasteiger, Nicola Leone +3
Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applicat…