BIRS Workshop Theory and Practice of SAT and Combinatorial Solving
workshops
Between January 11 and January 16, 2026 I will be in Banff (CA) participating to the BIRS workshop Theory and Practice of SAT and Combinatorial Solving.
Between January 11 and January 16, 2026 I will be in Banff (CA) participating to the BIRS workshop Theory and Practice of SAT and Combinatorial Solving.