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: Bordeaux:Lucas
Contributed to:
2012
2008
2007Wrote 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.