Formal verification of a generic framework to synthesize SAT-provers | Publicación