Satisfiability (SAT), Part 1

Loading...
En provenance du cours de University of Illinois at Urbana-Champaign
VLSI CAD Part I: Logic
55 notes
University of Illinois at Urbana-Champaign
55 notes
À partir de la leçon
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.

Rencontrer les enseignants

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

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.