Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias. TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng., 39(9):1283-1307, 2013. [doi]
@article{GaleottiRPF13,
title = {TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds},
author = {Juan P. Galeotti and Nicolás Rosner and Carlos Gustavo López Pombo and Marcelo F. Frias},
year = {2013},
doi = {10.1109/TSE.2013.15},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2013.15},
researchr = {https://researchr.org/publication/GaleottiRPF13},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {39},
number = {9},
pages = {1283-1307},
}