A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. - Bruno Cuervo Parrino; Juan P. Galeotti; Diego Garbervetsky; Marcelo F. Frias (SEFM, 2011)

TacoFlow: optimizing SAT program verification using dataflow analysis. - Bruno Cuervo Parrino; Juan Pablo Galeotti; Diego Garbervetsky; Marcelo F. Frias (Softw. Syst. Model., 2015)