C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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