ROBDD

swMATH21204MaRDI QIDQ33015FDOQ33015

Author name not available (Why is that?)

Cited In (5)

• Synthesis for testability: Binary Decision Diagrams
• Worst case examples for operations on OBDDs
• Translation among CNFs, characteristic models and ordered binary decision diagrams
• Ordered binary decision diagrams as knowledge-bases
• Introduction to the OBDD algorithm for the ATP community

This page was built for software: ROBDD