Personal Homepage

Personal Information

MORE+

School/Department:计算机学院

甘庭

+

Paper Publications

Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
Date of Publication:2016-01-01 Hits:

Journal:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume:9706
Issue:0302-9743
Translation or Not:no
Date of Publication:2016-01-01
Date of Publication:2016-01-01