Incremental Maximum Satisfiability

Andreas Niskanen, Jeremias Berg, Matti Järvisalo

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 tulosta

Suodatin

Päättynyt

Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti