Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
发布时间：2018-10-14
点击次数：
- 发表刊物：
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- 卷号：
- 9706
- 期号：
- 0302-9743
- 是否译文：
- 否
- 发表时间：
- 2016-01-01