A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)

Erik Reeber, Warren A. Hunt Jr.. A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). In Ulrich Furbach, Natarajan Shankar, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4130 of Lecture Notes in Computer Science, pages 453-467, Springer, 2006. [doi]

Abstract

Abstract is missing.