1 results
Anytime answer set optimization via unsatisfiable core shrinking
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 533-551
-
- Article
- Export citation