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 × 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 DBLP: Larose:Benoit

Contributed to:

LICS 20152015
ICALP (2) 20082008
LICS 20082008
ICALP 20072007
LICS 20072007
LICS 20062006
LICS 20042004

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

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.