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]

Authors

Erik Reeber

This author has not been identified. Look up 'Erik Reeber' in Google

Warren A. Hunt Jr.

This author has not been identified. Look up 'Warren A. Hunt Jr.' in Google