Interpolants for Linear Arithmetic in SMT.

Christopher Lynch Yuefeng Tang

Published in: ATVA (2008)

Keyphrases

genetic algorithm
information systems
expert systems
data sets
databases
image processing
multiscale
information extraction