SAtRes    News    Visit by Armin Biere

Visit by Armin Biere

March 14, 2025

This Friday, Prof. Armin Biere (University of Freiburg), leading figure in propositional satisfiability and formal verification, paid a visit to our group.

Armin Biere gave an insightful talk on SAT Sweeping on CNF - addressing a long-standing problem of combinational circuit equivalence checking that Donald Knuth apparently once called a “dead body in the cellar” of SAT solving. The talk was based on recent joint works with Katalin Fazekas, Mathias Fleury, and Nils Froleyks (SAT'24, FMCAD'24).

We subsequently exchanged and discussed many insights and ideas at the intersection of the world-leading SAT solvers from Armin Biere’s group and our massively parallel platform Mallob, also in light of our joint Amazon Research Award.