Border-Block Triangular Form and Conjunction Schedule in Image Computation

This publication has 10 references indexed in Scilit:

• Early quantification and partitioned transition relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Variable ordering and selection of FSM traversal
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• ATPG aspects of FSM verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Implicit state enumeration of finite state machines using BDD's
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• To split or to conjoin
  Published by Association for Computing Machinery (ACM) ,2000
• VIS: A system for verification and synthesis
  Lecture Notes in Computer Science, 1996
• Representing circuits more efficiently in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The Partitioned Preassigned Pivot Procedure (P4)
  Published by Springer Nature ,1972
• Two Algorithms for Bipartite Graphs
  Journal of the Society for Industrial and Applied Mathematics, 1963