Cita APA

Galeotti, J. P., Rosner, N. L., Lopez Pombo, C. G., & Frias, M. F. (2013). TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds. Web

Citación estilo Chicago

Galeotti, Juan Pablo, Nicolas Leandro Rosner, Carlos Gustavo Lopez Pombo, and Marcelo Fabian Frias. TACO: Efficient SAT-based Bounded Verification Using Symmetry Breaking and Tight Bounds. 2013.

Cita MLA

Galeotti, Juan Pablo, Nicolas Leandro Rosner, Carlos Gustavo Lopez Pombo, and Marcelo Fabian Frias. TACO: Efficient SAT-based Bounded Verification Using Symmetry Breaking and Tight Bounds. 2013.