Satisfiability (SAT), Part 1

From the course by University of Illinois at Urbana-Champaign
VLSI CAD Part I: Logic
106 ratings
University of Illinois at Urbana-Champaign
106 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

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.