Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.

Francisco-Jess Martn-Mateos, Jos-Antonio Alonso, Mara-Jos Hidalgo, Jos-Luis Ruiz-Reina

Browse the full LOPSTR paper archive.