Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
(2005). Relation between SAT and BDDS. In: Advanced BDD Optimization. Springer, Boston, MA. https://doi.org/10.1007/0-387-25454-4_6
Download citation
DOI: https://doi.org/10.1007/0-387-25454-4_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-25453-1
Online ISBN: 978-0-387-25454-8
eBook Packages: EngineeringEngineering (R0)