Suodatin
Chapter

Hakutulokset

  • 2021

    Planning and SAT

    Rintanen, J., 5 toukok. 2021, Handbook of Satisfiability: Second Edition. IOS Press, s. 765-789 25 Sivumäärä (Frontiers in Artificial Intelligence and Applications).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    55 Lataukset (Pure)