Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Forskningsresultat

Forskningsresultat per år 2015 2016 2017 2018 2019

• 40 Konferensbidrag
• 12 Artikel
• 8 Programvara
• 6 Antologi eller special utgåva
• 3 Mer
  • 2 Kapitel
  • 1 Konferensartikel

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2018

  ASP-HS: An answer set optimizer based on the implicit hitting set paradigm

  Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

• 2017

  aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation

  Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2017

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

• BBMarkov: a branch-and-bound approach to learning optimal decomposable graphs

  Rantanen, K. M. J., Hyttinen, A. J. & Järvisalo, M. J., 2017

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

• LMHS 2017

  Saikko, P. H. A. & Järvisalo, M. J., 10 aug. 2017

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

• MaxPre: An Extended MaxSAT Preprocessor

  Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

• 2016

  AbHS: A propositional abduction solver based on the implicit hitting set paradigm

  Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
• 2015

  LMHS: A SAT-IP Hybrid MaxSAT solver

  Saikko, P. H. A. & Järvisalo, M. J., 2015

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

• Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization

  Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J., 2015

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig