Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search.
Autor: | Alviano, Mario1 (AUTHOR) alviano@mat.unical.it, Dodaro, Carmine2 (AUTHOR) carminedodaro@gmail.com, Della Monica, Dario (AUTHOR), Murano, Aniello (AUTHOR), Sauro, Luigi (AUTHOR) |
---|---|
Zdroj: | Fundamenta Informaticae. 2020, Vol. 176 Issue 3/4, p271-297. 27p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |