Using SAT for Logic

Loading...
En provenance du cours de University of Illinois at Urbana-Champaign
VLSI CAD Part I: Logic
62 notes
University of Illinois at Urbana-Champaign
62 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.