Tacoflow: optimizing SAT program verification using dataflow analysis

Software & Systems Modeling (SOSYM), Volume 14, Number 1, page 45--63 - 2015
Download the publication : tacoflow-sosym.pdf [1.1Mo]  

BibTex references

@Article\{CGGF15,
  author       = "Cuervo Parrino, Bruno and Galeotti, Juan Pablo and Garbervetsky, Diego and Frias, Marcelo",
  title        = "Tacoflow: optimizing SAT program verification using dataflow analysis",
  journal      = "Software \& Systems Modeling (SOSYM)",
  number       = "1",
  volume       = "14",
  pages        = "45--63",
  year         = "2015",
  publisher    = "Springer",
  url          = "http://publicaciones.dc.uba.ar/Publications/2015/CGGF15"
}

Other publications in the database

» Bruno Cuervo Parrino
» Juan Pablo Galeotti
» Diego Garbervetsky
» Marcelo Frias