Formal verification of a generic framework to synthesize SAT-provers Francisco -Jesús Martín-MateosJosé -Antonio AlonsoJosé -Luis Ruiz-Reina OriginalPaper Article: 287