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 />
Main Efficiency Issues<br />
Large Expressions.<br />
Currently, not the major problem.<br />
Improvement Techniques:<br />
Using SZDD to represent <strong>Boolean</strong> polynomials<br />
Using annihilator to reduce the degree<br />
Using monic polynomials to keep the degree low<br />
Branch Control/Number of Solutions.<br />
Number of branches/solutions strongly related to speed.<br />
c/s mostly ranges from 1/20 to 4.<br />
Our current system works fine:<br />
But, this is the major time consuming part.
Change language