presentations

2024

1. 

   Certifying Automated Reasoning

   Jeremias Berg

   Aug 2024

   Description Slides

   A presentation on certified automated reasoning I gave at the Helsinki Algorithms and Theory Days.

2023

1. 

   Proof Logging for Maximum Satisfiability the past, the present, the future

   Jeremias Berg

   Mar 2023

   Description Video Slides

   An invited overview of the field of MaxSAT proof logging I gave as part of the Satisfiability: Theory, Practice, and Beyond program at the Simons institure.

2022

1. 

   25 years of SAT Maximum Satisfiability for Real-World Optimization

   Jeremias Berg

   Aug 2022

   Description Slides

   An invited talk on recent developments in MaxSAT solving that I gave at the 2022 SAT conference.

2021

1. 

   Abstract Cores in Implicit Hitting Set MaxSAT Solving

   Jeremias Berg

   Mar 2021

   Description Video Slides

   A longer tutorial on implicit hitting set-based optimization and our extension of abstract cores.

2. 

   Optimiointa Deklaratiivisesti

   Jeremias Berg

   Jan 2021

   Description Video Slides

   An overview on my own research in Finnish I gave at an Accademy Club of the Young Accademy of Finland.

3. 

   Preprocessing in MaxSAT Solving

   Jeremias Berg

   May 2021

   Description Video Slides

   An invited talk on MaxSAT preprocessing I gave as part of the Theoretical Foundations of SAT/SMT Solving workshop of the Simons Institute.

4. 

   Maximum Satisfiability Solving

   Jeremias Berg & Matti Järvisalo

   May 2021

   Description Video Slides

   An invited talk on MaxSAT solving I gave with Matii Järvisalo as part of the Beyond Satisfiability workshop of the Simons Institute.

2020

1. 

   Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings

   Jeremias Berg

   Sep 2020

   Description Video Slides

   A presentation on my soctoral research that I gave when accepting the 2020 Doctoral Research award from the ACP.