Benjamin Musitsch

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 5

Top Topics

Answer Set Programming

Propositional Satisfiability

Satisfiability Problem

Top Venues

Theory Pract. Log. Program.

Publications

Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Driving CDCL Search. CoRR (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. 16 (5-6) (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). CoRR (2016)
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR (2016)
Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
Interactive Debugging of Non-ground ASP Programs. LPNMR (2015)