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 × China
1 × Italy
1 × Korea
Collaborated with:
H.Samulowitz L.Zhang M.Janota J.P.M.Silva P.Marquis G.Audemard Y.Hamadi S.Jabbour L.Saïs
Talks about:
constraint (2) framework (2) quantifi (2) satisfact (1) existenti (1) stochast (1) conflict (1) variabl (1) general (1) formula (1)

Person: Lucas Bordeaux

DBLP DBLP: Bordeaux:Lucas

Contributed to:

KR 20122012
SAT 20082008
SAC 20072007

Wrote 4 papers:

KR-2012-BordeauxJSM #on the #quantifier
On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).
SAT-2008-AudemardBHJS #analysis #framework
A Generalized Framework for Conflict Analysis (GA, LB, YH, SJ, LS), pp. 21–27.
SAC-2007-BordeauxS #constraints #framework #on the #probability
On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.
SAC-2007-BordeauxZ #constraints #linear #quantifier
A solver for quantified Boolean and linear constraints (LB, LZ), pp. 321–325.

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.