Travelled to:1 × Germany
1 × USA
Collaborated with:S.Chen T.Imielinski K.Johnsgard M.Szegedy B.G.Ryder U.Kremer M.Gordon N.Shah
Talks about:constraint (1) satisfact (1) dichotomi (1) theorem (1) problem (1) static (1) except (1) studi (1) type (1) jesp (1)
Person: Donald Smith
DBLP: Smith:Donald
Contributed to:
2006
2000Wrote 2 papers:
- SAT-2006-ChenIJSS #constraints #problem #theorem
- A Dichotomy Theorem for Typed Constraint Satisfaction Problems (SC, TI, KJ, DS, MS), pp. 226–239.
- CC-2000-RyderSKGS #exception #java #using
- A Static Study of Java Exceptions Using JESP (BGR, DS, UK, MG, NS), pp. 67–81.