Printable PDF
Department of Mathematics,
University of California San Diego

****************************

Math 268 - Logic and Complexity

Prof. W. Jack Wesley

UC San Diego

Computing Schur and Rado Numbers with SAT Solvers

October 9, 2023

4:00 PM

APM 7218

****************************

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590