Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas  ; Kaminski, Tobias Dietmar ; Balduccini, Marcello  ; Lierler, Yuliya  ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019