Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Stephan Gocht, Video: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Stephan Gocht, Video: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Stephan Gocht, Seeking Practical CDCL Insights from Theoretical SAT Benchmarks, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video