57

courses.cs.washington.edu · Make circuit compute correct values at each node add 2 clauses: add 3 ciaus£ add 3 clauses Hard-coded input values and output _ 0 add 1 clause _ 1 add

Embed Size (px)

Citation preview