Travelled to:1 × Austria
1 × Germany
Collaborated with:M.Kosta M.Bromberger C.Weidenbach K.Korovin A.Dolzmann
Talks about:substitut (1) question (1) conflict (1) arithmet (1) virtual (1) revisit (1) toward (1) linear (1) driven (1) better (1)
Person: Thomas Sturm
DBLP: Sturm:Thomas
Contributed to:
2015
2014Wrote 3 papers:
- CADE-2015-Bromberger0W #integer #linear #revisited
- Linear Integer Arithmetic Revisited (MB, TS, CW), pp. 623–637.
- SMT-2014-KorovinKS #learning #towards
- Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.
- SMT-2014-KostaSD
- Better Answers to Real Questions (MK, TS, AD), p. 69.