Project Details

StatusActive
Effective start/end date01/09/201931/08/2023

Fields of Science

  • 113 Computer and information sciences
  • Controllability of Control Argumentation Frameworks

    Niskanen, A., Neugebauer, D. & Järvisalo, M., Jan 2021, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1855-1861 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • Maximum Satisfiability

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  • Preprocessing in SAT Solving

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review