A Characteristic Set Method for Solving Boolean Equations

More documents

Recommendations

Info

Background CS Method Implementation Experiment Conclusion Zeros of Boolean Polynomials Variety: Zero(P) = {α ∈ F n 2 , s.t. ∀P ∈ P, P(α) = 0}. Quasi Variety: Zero(P/D) = Zero(P) \ Zero(D).
Background CS Method Implementation Experiment Conclusion Zeros of Boolean Polynomials Variety: Zero(P) = {α ∈ F n 2 , s.t. ∀P ∈ P, P(α) = 0}. Quasi Variety: Zero(P/D) = Zero(P) \ Zero(D). Basic Properties. Let U, V , D ∈ R2 and P ⊂ R2. We have U = 1 ⇒ Zero(U) = ∅.
Page 1 and 2: Background CS Method Implementation
Page 11: Background CS Method Implementation
Page 63 and 64:
Background CS Method Implementation
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77:
show all

A Characteristic Set Method for Solving Boolean Equations

Create successful ePaper yourself

Delete template?

Save as template?