13.08.2013 Views

A Characteristic Set Method for Solving Boolean Equations

A Characteristic Set Method for Solving Boolean Equations

A Characteristic Set Method for Solving Boolean Equations

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!