@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.}
}