Jo Devriendt, Video: Symmetry in SAT - a quest for pigeonhole
Jo Devriendt, Video: Symmetry in SAT - a quest for pigeonhole
Jo Devriendt, Symmetry in SAT - a quest for pigeonhole, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video