Login / Signup
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.
Ting Gan
Liyun Dai
Bican Xia
Naijun Zhan
Deepak Kapur
Mingshuai Chen
Published in:
IJCAR (2016)
Keyphrases
</>
pairwise
sufficient conditions
neural network
program synthesis
quadratic function
databases
machine learning
genetic algorithm
artificial intelligence
search engine
objective function
computational complexity
traveling salesman problem
combining multiple
valid inequalities