iiinova — where your digital self keeps evolving

Armin Biere

@arminbiere.bsky.social

195 followers 35 following 6 posts

SAT Solver Hacker, Professor, University of Freiburg

Posts Replies Media

Armin Biere @arminbiere.bsky.social · 26/03/2025

Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

uni-freiburg.de

University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...

075

Armin Biere @arminbiere.bsky.social · 10/03/2025

Cool video youtu.be/0_fdjA2R0bQ?... explaining how Marijn Heule et.al. solved the mathematical "Empty Hexagon Problem" with SAT (our CaDiCaL actually). This was first presented at TACAS'24 and then lifted and formally verified in the Lean theorem prover at ITP'24 drops.dagstuhl.de/entities/doc...

youtu.be

This missing number shouldn't have been possible to find.

YouTube video by PurpleMind

010

Armin Biere @arminbiere.bsky.social · 29/12/2024

First time on the abandoned Tempelhof airfield. Typical cold and foggy Berlin weather in December but still quite spectacular.

010

Reposted by Armin Biere

Sven Apel @svenapel.bsky.social · 20/12/2024

This is a great opportunity to work with us at the intersection of ML, SE, and Neuroscience... @ MPI-SWS & Saarland Uni.

063

Armin Biere @arminbiere.bsky.social · 04/12/2024

Daniela gave an intriguing talk on extracting linear polynomials on demand to improve verifying optimized/resynthesized multipliers and then with the arithmetic circuit verification crowd in Freiburg went for the well deserved Christmas beer cca.informatik.uni-freiburg.de/invited-talk...

070

Armin Biere @arminbiere.bsky.social · 22/11/2024

Ok, will not take the bike today.

030