Using SAT for Logic

Loading...
Do curso por Universidade de Illinois em Urbana-ChampaignUniversidade de Illinois em Urbana-Champaign
VLSI CAD Part I: Logic
52 ratings
Universidade de Illinois em Urbana-ChampaignUniversidade de Illinois em Urbana-Champaign
52 ratings
Na lição
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.

Conheça os instrutores

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

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.