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/
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
LCF-Style Propositional Simplification with BDDs and SAT Solvers, Integrating external deduction tools with ACL2, LCF-style Platform based on Multiway Decision Graphs
Uses Software
Cites Work