Stålmarck’s algorithm as a HOL derived rule

This publication has 11 references indexed in Scilit:

• Hiding propositional constants in BDDs
  Formal Methods in System Design, 1996
• Binary Decision Diagrams as a HOL derived rule
  The Computer Journal, 1995
• Proving formulas through reduction to decidable classes
  Lecture Notes in Computer Science, 1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC
  1990
• Computation-oriented reductions of predicate to propositional logic
  Decision Support Systems, 1988
• A quantitative approach to logical inference
  Decision Support Systems, 1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The complexity of theorem-proving procedures
  1971
• Zum Entscheidungsproblem der mathematischen Logik
  Mathematische Annalen, 1928