Work

OBDD-based function decomposition: algorithms and implementation

FWCI: 5.127
Cites: 24
Cited by: 90
Related to: 10