Programming Combinations of Deduction and BDD-based Symbolic Calculation
From MaRDI portal
Publication:4827596
DOI10.1112/S1461157000000693zbMath1068.68682MaRDI QIDQ4827596
Publication date: 18 November 2004
Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)
Full work available at URL: http://www.lms.ac.uk/jcm/5/lms2000-001/
68W30: Symbolic computation and algebraic computation
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
LCF-style Platform based on Multiway Decision Graphs, Integrating external deduction tools with ACL2, LCF-Style Propositional Simplification with BDDs and SAT Solvers
Uses Software
Cites Work