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: |
|