Travelled to:1 × Russia
Collaborated with:B.Xia N.Zhan T.Gan D.Kapur M.Chen
Talks about:interpol (2) semidefinit (1) synthesi (1) polynomi (1) quadrat (1) program (1) generat (1) linear (1) combin (1) inequ (1)
Person: Liyun Dai
DBLP: Dai:Liyun
Contributed to:
2013
2016Wrote 2 papers:
- CAV-2013-DaiXZ #generative #programming
- Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
- IJCAR-2016-GanDXZKC #polynomial #synthesis
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (TG, LD, BX, NZ, DK, MC), pp. 195–212.