ROBDD

MaRDI QIDQ33015swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=123222

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