%0 Journal Article %1 journals/tse/GaleottiRPF13 %A Galeotti, Juan P. %A Rosner, Nicolás %A Pombo, Carlos Gustavo López %A Frias, Marcelo F. %D 2013 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 1283-1307 %T TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#GaleottiRPF13 %V 39

@article{journals/tse/GaleottiRPF13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Galeotti, Juan P. and Rosner, Nicolás and Pombo, Carlos Gustavo López and Frias, Marcelo F.}, biburl = {https://www.bibsonomy.org/bibtex/293224231a8907326b2945b1591e2dc66/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2013.15}, interhash = {d600b2c0c62dce5e32b818cfb1914b54}, intrahash = {93224231a8907326b2945b1591e2dc66}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {1283-1307}, timestamp = {2018-11-03T12:28:35.000+0100}, title = {TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#GaleottiRPF13}, volume = 39, year = 2013 }