TacoFlow: optimizing SAT program verification using dataflow analysis
| Title | TacoFlow: optimizing SAT program verification using dataflow analysis |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Parrino, BC, Galeotti, JP, Garbervetsky, D, Frias, MF |
| Journal | Software & Systems Modeling |
| Pagination | 1–19 |
Work Package:
WP2
