Travelled to:
1 × France
Collaborated with:
∅
Talks about:
constraint (2) nexptim (1) complet (1) system (1) negat (1) set (1)
Person: Kjartan Stefánsson
DBLP: Stef=aacute=nsson:Kjartan
Contributed to:
Wrote 1 papers:
- LICS-1994-Stefansson #constraints #set
- Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete (KS), pp. 137–141.