Jeremias Berg

Publikationer

Forskningsresultat per år 2013 2014 2016 2017 2019 2020 2021 2022 2023 2024 2024

• 35 Konferensbidrag
• 5 Antologi eller special utgåva
• 4 Artikel
• 2 Programvara
• 1 Mer
  • 1 Doktorsavhandling

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2019

  Loandra, Core-Boosted Linear Search for incomplete MaxSAT

  Berg, J., Stuckey, P. & Emir Demirović, E., 2019

  Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

  Öppen tillgång

  Fil
• 2017

  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