Benjamin Musitsch

Identifiers

No identifiers captured yet.

Papers (3)

1. Driving CDCL Search cs.AI · 2016 · author #4
2. An integrated Graphical User Interface for Debugging Answer Set Programs cs.AI · 2016 · author #3
3. Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper) cs.AI · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Carmine Dodaro 3 shared papers
• Francesco Ricca 3 shared papers
• Philip Gasteiger 3 shared papers
• Konstantin Schekotihin 2 shared papers
• Nicola Leone 2 shared papers
• Kostyantyn Shchekotykhin 1 shared papers
• Kristian Reale 1 shared papers