Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:C.Scholl F.Pigorsch E.Althaus S.Kupferschmid
Talks about:linear (2) constraint (1) represent (1) polyhedra (1) interpol (1) arithmet (1) redund (1) detect (1) convex (1) comput (1)
Person: Stefan Disch
DBLP: Disch:Stefan
Contributed to:
2014
2009Wrote 2 papers:
- DATE-2014-SchollPDA #linear
- Simple interpolants for linear arithmetic (CS, FP, SD, EA), pp. 1–6.
- TACAS-2009-SchollDPK #constraints #detection #linear
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.