A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)
From MaRDI portal
Publication:3613427
DOI10.1007/11814771_38zbMath1222.68372OpenAlexW1559324134MaRDI QIDQ3613427
Warren A. jun. Hunt, Erik Reeber
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_38
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Integrating external deduction tools with ACL2 ⋮ Efficiently checking propositional refutations in HOL theorem provers
Uses Software
This page was built for publication: A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)
