Travelled to:1 × Germany
Collaborated with:A.Griggio R.Sebastiani
Talks about:interpol (1) arithmet (1) satisfi (1) generat (1) modulo (1) linear (1) effici (1) integ (1)
Person: Thi Thieu Hoa Le
DBLP: Le:Thi_Thieu_Hoa
Contributed to:
2011Wrote 1 papers:
- TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.