This text discusses Symbolic Boolean manipulation, which, using binary decision diagrams (BDDs), has been successfully applied to a wide variety of tasks, particularly in very large-scale integration (VLSI) computer-aided design (CAD).
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.