Travelled to:
1 × Italy
Collaborated with:
∅
Talks about:
constraint (1) arithmet (1) realtim (1) environ (1) linear (1) solv (1) soft (1) non (1)
Person: Hendrik Skubch
DBLP: Skubch:Hendrik
Contributed to:
Wrote 1 papers:
- SAC-2012-Skubch #constraints #realtime
- Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.