TacoFlow: optimizing SAT program verification using dataflow analysis. - Cuervo Parrino, Bruno; Galeotti, Juan; Garbervetsky, Diego; Frias, Marcelo (Software & Systems Modeling, 2015)