@article {237, title = {TacoFlow: optimizing SAT program verification using dataflow analysis}, journal = {Software \& Systems Modeling}, year = {2014}, pages = {1{\textendash}19}, author = {Parrino, Bruno Cuervo and Juan Pablo Galeotti and Diego Garbervetsky and Frias, Marcelo F.} }