Skip to content
cs-conference-ranking.org

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

Erik Reeber, Warren A. Hunt Jr.

VenueACADE
Year2006
ProceedingsIJCAR
DBLP recordconf/cade/ReeberH06 ↗

Browse the full CADE paper archive.