A Characteristic Set Method for Solving Boolean Equations
A Characteristic Set Method for Solving Boolean Equations
A Characteristic Set Method for Solving Boolean Equations
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Background CS <strong>Method</strong> Implementation Experiment Conclusion<br />
Comments of the CS <strong>Method</strong>s<br />
Compare to the general CS method:<br />
We have a disjoint monic zero decomposition.<br />
Well ordering principle needs a polynomial number of<br />
arithmetic operations.