Hierarchical representations of discrete functions, with application to model checking
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A linear time algorithm for finding tree-decompositions of small treewidthPublished by Association for Computing Machinery (ACM) ,1993
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- Graph minors. II. Algorithmic aspects of tree-widthJournal of Algorithms, 1986
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986