Travelled to:1 × Canada
1 × Poland
Collaborated with:M.Bodirsky H.Chen T.v.Oertzen
Talks about:constraint (2) satisfact (1) problem (1) languag (1) infinit (1) complex (1) tempor (1) maxim (1) valu (1)
Person: Jan Kára
DBLP: K=aacute=ra:Jan
Contributed to:
2008
2007Wrote 2 papers:
- STOC-2008-BodirskyK #complexity #constraints #problem
- The complexity of temporal constraint satisfaction problems (MB, JK), pp. 29–38.
- ICALP-2007-BodirskyCKO #constraints
- Maximal Infinite-Valued Constraint Languages (MB, HC, JK, TvO), pp. 546–557.