|
|||||
|
|
TacoFlow: optimizing SAT program verification using dataflow analysis |
|
| Authors: | Bruno Cuervo Parrino Juan Pablo Galeotti Diego Garbervetsky Marcelo F Frias |
| Affiliation: | 1. Departamento de Computación, FCEyN, UBA, Buenos Aires, Argentina 2. Saarland University, Saarbrücken, Germany 3. CONICET, Buenos Aires, Argentina 4. Department of Software Engineering, Instituto Tecnológico de Buenos Aires, Buenos Aires, Argentina |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |