• PostiosoiteNäytä kartalla

    PL 68 (Gustaf Hällströmin katu 2b), A329

    HELSINGIN YLIOPISTO

    Suomi

Suodatin
Kirjan luku tai artikkeli

Hakutulokset

  • 2021

    Maximum Satisfiability

    Bacchus, F., Järvisalo, M. & Martins, R., 2021, Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (toim.). 2 toim. IOS PRESS, s. 929 - 991 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 336).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

  • Preprocessing in SAT Solving

    Biere, A., Järvisalo, M. & Kiesl, B., 2021, Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (toim.). 2 toim. IOS PRESS, s. 391 - 435 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 336).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu