µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Andreas Niskanen, Matti Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

1 tulosta
- Nimi(laskeva)
- Stipendin päivä

ICCMA 2019 Main Track and Dynamic Track: First place
Niskanen, A. (Vastaanottaja) & Järvisalo, M. (Vastaanottaja), 12 elok. 2019
Palkinto: Palkinnot ja kunnianosoitukset