Satisfiability (SAT), Part 1

Loading...
Del curso dictado por Universidad de Illinois en Urbana-Champaign
VLSI CAD Part I: Logic
48 ratings
Universidad de Illinois en Urbana-Champaign
48 ratings
De la lección
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.

Conoce a los instructores

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