Boolean Constraint Propagation (BCP) for SAT

Loading...
来自 伊利诺伊大学香槟分校 的课程
VLSI CAD Part I: Logic
48 评分
伊利诺伊大学香槟分校
48 评分
从本节课中
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.

与讲师见面

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