View in EDS PDF Full Text

TacoFlow: optimizing SAT program verification using dataflow analysis.

Saved in:
Bibliographic Details
Title: TacoFlow: optimizing SAT program verification using dataflow analysis.
Authors: Cuervo Parrino, Bruno1, bcuervo@dc.uba.ar, Galeotti, Juan2, galeotti@cs.uni-saarland.de, Garbervetsky, Diego, diegog@dc.uba.ar, Frias, Marcelo, mfrias@itba.edu.ar
Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p45-63, 19p
Database: Applied Science & Technology Source
Description
ISSN:16191366
DOI:10.1007/s10270-014-0401-9