Using SAT for Logic

Loading...
Do curso por University of Illinois at Urbana-Champaign
VLSI CAD Part I: Logic
79 classificações
University of Illinois at Urbana-Champaign
79 classificações
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.