aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
| Autor: | Banbara, Mutsunori, Gebser, Martin, Inoue, Katsumi, Ostrowski, Max, Peano, Andrea, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Weise, Matthias |
|---|---|
| Zdroj: | Computer Safety, Reliability & Security: 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings; 2015, p112-126, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|