Sign in
TacoFlow: optimizing SAT program verification using dataflow analysis.
Bruno Cuervo Parrino
Juan Pablo Galeotti
Diego Garbervetsky
Marcelo F. Frias
Published in:
Softw. Syst. Model. (2015)
Keyphrases
</>
databases
information retrieval
search algorithm
image analysis
neural network
website
quantitative analysis