Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
DODARO, CARMINE, GASTEIGER, PHILIP, LEONE, NICOLA, MUSITSCH, BENJAMIN, RICCA, FRANCESCO, SHCHEKOTYKHIN, KOSTYANTYN
Published in Theory and practice of logic programming (01.09.2016)
Published in Theory and practice of logic programming (01.09.2016)
Get full text
Journal Article
Debugging Non-ground ASP Programs: Technique and Graphical Tools
DODARO, CARMINE, GASTEIGER, PHILIP, REALE, KRISTIAN, RICCA, FRANCESCO, SCHEKOTIHIN, KONSTANTIN
Published in Theory and practice of logic programming (01.03.2019)
Published in Theory and practice of logic programming (01.03.2019)
Get full text
Journal Article
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Dodaro, Carmine, Gasteiger, Philip, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Published in arXiv.org (01.08.2018)
Published in arXiv.org (01.08.2018)
Get full text
Paper
Journal Article
Driving CDCL Search
Dodaro, Carmine, Gasteiger, Philip, Leone, Nicola, Musitsch, Benjamin, Ricca, Francesco, Schekotihin, Konstantin
Year of Publication 16.11.2016
Year of Publication 16.11.2016
Get full text
Journal Article
An integrated Graphical User Interface for Debugging Answer Set Programs
Gasteiger, Philip, Dodaro, Carmine, Musitsch, Benjamin, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Year of Publication 15.11.2016
Year of Publication 15.11.2016
Get full text
Journal Article
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Dodaro, Carmine, Gasteiger, Philip, Leone, Nicola, Musitsch, Benjamin, Ricca, Francesco, Shchekotykhin, Kostyantyn
Year of Publication 02.08.2016
Year of Publication 02.08.2016
Get full text
Journal Article
Driving CDCL Search
Dodaro, Carmine, Gasteiger, Philip, Leone, Nicola, Musitsch, Benjamin, Ricca, Francesco, Schekotihin, Konstantin
Published in arXiv.org (16.11.2016)
Get full text
Published in arXiv.org (16.11.2016)
Paper