News Archive
2025
-
Hardware Model Checking Competition 2025 (HWMCC’25) with FMCAD’25
-
6 medals (3 gold) in total in the SAT Competition 2025:
3 in parallel tracks for MallobSat (2 first places)
2 in main tracks for Kissat and one for CaDiCaL (first place) -
Test-of-Time Award at SAT’25 for our SAT’05 paper
Effective Preprocessing in SAT through Variable and Clause Elimination
by Niklas Eén and Armin Biere -
Best Paper Award at SAT’25
Streamlining Distributed SAT Solver Design
by Dominik Schreiber, Niccolò Rigi-Luperti, Armin Biere -
Distinguished CAV’25 paper
Introducing Certificates to the Hardware Model Checking Competition
Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
2024
-
Invited talk Dr. Daniela Kaufmann
Taming the Polynomial Explosion: A New Approach to Algebraic Circuit Verification
Tuesday, December 3, 2024, 17:00 - 18:00, TF SR 00-34 Geb. 51 -
Kissat wins three gold medals in the main track of the SAT Competition 2024
-
Herbrand Award in 2024 goes to Armin Biere
-
Hardware Model Checking Competition 2024 (HWMCC’24) with FMCAD’24
2023
-
First report on The SAT Museum with webpage, solvers and detailed results
-
Talk Tuesday 10th Oct. 2023 14:00 by Daniel Kröning on “Automated Reasoning at AWS”
-
DAC Most Influential 1990s Paper at 60th DAC’23 for our DAC’99 paper
Symbolic Model Checking using SAT procedures instead of BDDs
A. Biere, A. Cimatti, E.M. Clarke, M. Fujita and Y. Zhu -
Two medals in the SAT Competition 2023 for CaDiCaL_vivinst by Florian Pollitt
-
Test-of-Time Award at SAT’23 for our SAT’04 paper
Resolve and Expand by Armin Biere on Quantor -
Highlighted Paper at SAT’23
IPASIR-Up: User Propagators for CDCL by
K. Fazekas, A. Niemetz, M. Preiner, M. Kirchweger, S. Szeider, A. Biere
joint work with TU Wien and Stanford University -
Invited talk Prof. Martina Seidl
Beyond NP: Reasoning with Quantified Boolean Formulas,
Thursday, April 20, 2023, 09:00 - 10:00, TF SR 2-16/18 Geb. 101
2021
- After the transition
to Prof. Armin Biere
the
home page of the previous chair
Prof. Bernd Becker
for computer architecture can be found at https://ira.informatik.uni-freiburg.de