Declarative Boolean Optimization: Pushing the Envelope

Projekt: Forskningsprojekt

  • 29 Konferensbidrag
  • 4 Artikel
  • 2 Kapitel
  • 1 Antologi eller special utgåva
Filter
Kapitel

Sökresultat

  • 2021

    Maximum Satisfiability

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

    Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). 2 red. IOS PRESS, s. 391 - 435 (Frontiers in Artificial Intelligence and Applications; vol. 336).

    Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review