Declarative Boolean Optimization: Pushing the Envelope

Research output

Research output per year 2020 2020 2021 2022 2023 2023

• 29 Conference contribution
• 4 Article
• 2 Chapter
• 1 Anthology or special issue

Research output per year

Research output per year

Search results

• 2021

  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 proceeding › Chapter › Scientific › peer-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 proceeding › Chapter › Scientific › peer-review