scientific article; zbMATH DE number 1696764

MaRDI QIDQ2767014zbMATH OpenFDO

Authors Jan Friso Groote, Jaco van de Pol

Publication date 22 July 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Introduction to the OBDD algorithm for the ATP community
• scientific article; zbMATH DE number 1980926
• Zero, successor and equality in BDDs
• Binary decision diagrams
• Binary decision diagrams for first-order predicate logic.

Cited in

(14)

• A rewriting approach to binary decision diagrams
• Zero, successor and equality in BDDs
• Parameterised Boolean equation systems
• Generalizing DPLL and satisfiability for equalities
• Just-in-time: on strategy annotations
• scientific article; zbMATH DE number 1980926 (Why is no real title available?)
• scientific article; zbMATH DE number 910727 (Why is no real title available?)
• Transforming equality logic to propositional logic
• EufDPLL -- a tool to check satisfiability of equality logic formulas
• A term rewriting technique for decision graphs
• From CRL to mCRL2: motivation and outline
• A characterization of binary decision diagrams
• Mathematical Foundations of Computer Science 2005
• Explaining control policies through predicate decision diagrams

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767014)