Travelled to:1 × Finland
1 × Iceland
1 × Japan
2 × Poland
2 × USA
Collaborated with:P.Tesson V.Dalmau L.Egri C.Loten C.Tardif A.A.Krokhin P.Hell A.Rafiey
Talks about:problem (5) datalog (4) constraint (3) satisfact (3) symmetr (3) logspac (2) order (2) first (2) characteris (1) dichotomi (1)
Person: Benoit Larose
DBLP: Larose:Benoit
Contributed to:
2015
200820082007200720062004Wrote 7 papers:
- LICS-2015-DalmauEHLR #complexity #problem
- Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy (VD, LE, PH, BL, AR), pp. 487–498.
- ICALP-B-2008-EgriLT #datalog #symmetry
- Directed st-Connectivity Is Not Expressible in Symmetric Datalog (LE, BL, PT), pp. 172–183.
- LICS-2008-DalmauL #datalog #symmetry
- Maltsev + Datalog --> Symmetric Datalog (VD, BL), pp. 297–306.
- ICALP-2007-LaroseT #algebra #constraints #problem
- Universal Algebra and Hardness Results for Constraint Satisfaction Problems (BL, PT), pp. 267–278.
- LICS-2007-EgriLT #constraints #datalog #problem #symmetry
- Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.
- LICS-2006-LaroseLT #constraints #first-order #problem
- A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.
- LICS-2004-DalmauKL #first-order #graph #problem #reflexive
- First-Order Definable Retraction Problems for Posets and Reflexive Graph (VD, AAK, BL), pp. 232–241.