The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss, Video: The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss, Video: The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss, The (un)reasonable (in)effectiveness of theory for Sat solvers, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video