BIRS Workshop Theory and Practice of SAT and Combinatorial Solving
workshops
Between January 11 and January 16, 2026 I was in Banff (CA) participating to the BIRS workshop Theory and Practice of SAT and Combinatorial Solving, below there the slides of my talk.