Using SAT for Logic

Loading...
From the course by University of Illinois at Urbana-Champaign
VLSI CAD Part I: Logic
29 ratings
University of Illinois at Urbana-Champaign

VLSI CAD Part I: Logic

29 ratings
From the lesson
Boolean Representation via BDDs and SAT
Week 2 introduces two powerful and important representation techniques that allow us to do SERIOUS computational Boolean algebra, on industrial-scale designs.

Meet the Instructors

  • Rob A. Rutenbar
    Rob A. Rutenbar
    Adjunct Professor
    Department of Computer Science