Branching Programs and Binary Decision Diagrams
Published: 2000
ISBN-13: 9780898719789