Printable PDF
Department of Mathematics,
University of California San Diego

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

Math 268 - Computability and Logic

Paul Orland

UC San Diego

Lookahead SAT Solvers for Cube and Conquer

January 29, 2024

4:00 PM

APM 7218

Research Areas

Logic and Computational Complexity

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

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590