Hybrid decision diagrams - overcoming the limitations of MTBDDs and BMDs (1995)

by E. M. Clarke , M. Fujita , X. Zhao
Venue:In Int'l Conf. on CAD
Citations:55 - 3 self