Managing don't cares in Boolean satisfiability

@article{Safarpour2004ManagingDC,
  title={Managing don't cares in Boolean satisfiability},
  author={Sean Safarpour and Andreas G. Veneris and Rolf Drechsler and Joanne Lee},
  journal={Proceedings Design, Automation and Test in Europe Conference and Exhibition},
  year={2004},
  volume={1},
  pages={260-265 Vol.1}
}
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representation that does not capture all of the structural circuit characteristics and properties. This work proposes algorithms that take into account the circuit don't care conditions thus enhancing the performance of these tools. Don't care sets are addressed in this work both statically and dynamically to reduce the search space… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS
25 Citations
4 References
Similar Papers

Similar Papers

Loading similar papers…