Introduction to SAT solving using Conflict Driven Clause Learning (CDCL). | Department of Mathematics

Printable PDF

Department of Mathematics,
University of California San Diego

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

Math 268 - Seminar in Logic and Computation

Prof. Sam Buss

UC San Diego

Introduction to SAT solving using Conflict Driven Clause Learning (CDCL).

October 16, 2023

4:00 PM

APM 7218

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

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590