Video From 18w5208: Theory and Practice of Satisfiability Solving
Jo Devriendt, KU Leuven
Monday, August 27, 2018 16:44 - 17:42
Symmetry in SAT - a quest for pigeonhole

©2023 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.