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]
No references recorded for this publication.
No citations of this publication recorded.