BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: K=aacute=ra:Jan

Contributed to:

STOC 20082008
ICALP 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.