Skip to content

Pruning External Minimality Checking for ASP Using Semantic Dependencies.

Thomas Eiter, Tobias Kaminski

VenueBLPNMR
Year2019
ProceedingsLPNMR

Browse the full LPNMR paper archive.