Benjamin Musitsch

According to our database, Benjamin Musitsch authored at least 4 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).

Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin

Theory Pract. Log. Program., 2016

An integrated Graphical User Interface for Debugging Answer Set Programs.

Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

CoRR, 2016

Driving CDCL Search.

Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin

CoRR, 2016

2015

Interactive Debugging of Non-ground ASP Programs.

Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015