| 2009 |
|---|
| 24 | EE | Lucas Bordeaux,
Marco Cadoli,
Toni Mancini:
Generalizing consistency and other constraint properties to quantified constraints.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
|---|
| 23 | EE | Gilles Audemard,
Lucas Bordeaux,
Youssef Hamadi,
Saïd Jabbour,
Lakhdar Sais:
A Generalized Framework for Conflict Analysis.
SAT 2008: 21-27 |
| 2007 |
|---|
| 22 | | Sathiamoorthy Subbarayan,
Lucas Bordeaux,
Youssef Hamadi:
Knowledge Compilation Properties of Tree-of-BDDs.
AAAI 2007: 502-507 |
| 21 | EE | Lucas Bordeaux,
Youssef Hamadi,
Moshe Y. Vardi:
An Analysis of Slow Convergence in Interval Propagation.
CP 2007: 790-797 |
| 20 | EE | Lucas Bordeaux,
Horst Samulowitz:
On the stochastic constraint satisfaction framework.
SAC 2007: 316-320 |
| 19 | EE | Lucas Bordeaux,
Lintao Zhang:
A solver for quantified Boolean and linear constraints.
SAC 2007: 321-325 |
| 18 | EE | Lucas Bordeaux,
Marco Cadoli,
Toni Mancini:
Generalizing Consistency and other Constraint Properties to Quantified Constraints
CoRR abs/0705.3561: (2007) |
| 17 | EE | Youssef Hamadi,
Lucas Bordeaux:
Preface.
JSAT 1(3-4): (2007) |
| 2006 |
|---|
| 16 | EE | Lucas Bordeaux,
Youssef Hamadi,
Lintao Zhang:
Propositional Satisfiability and Constraint Programming: A comparative survey.
ACM Comput. Surv. 38(4): (2006) |
| 15 | EE | Carsten Rother,
Lucas Bordeaux,
Youssef Hamadi,
Andrew Blake:
AutoCollage.
ACM Trans. Graph. 25(3): 847-852 (2006) |
| 2005 |
|---|
| 14 | | Lucas Bordeaux,
Marco Cadoli,
Toni Mancini:
CSP Properties for Quantified Constraints: Definitions and Complexity.
AAAI 2005: 360-365 |
| 2004 |
|---|
| 13 | EE | Lucas Bordeaux,
Brice Pajot:
Computing Equilibria Using Interval Constraints.
CSCLP 2004: 157-171 |
| 12 | EE | Gwen Salaün,
Lucas Bordeaux,
Marco Schaerf:
Describing and Reasoning on Web Services using Process Algebra.
ICWS 2004: 43- |
| 11 | EE | Lucas Bordeaux,
Marco Cadoli,
Toni Mancini:
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.
LPAR 2004: 270-284 |
| 10 | EE | Lucas Bordeaux,
Gwen Salaün,
Daniela Berardi,
Massimo Mecella:
When are Two Web Services Compatible?
TES 2004: 15-28 |
| 9 | EE | Lucas Bordeaux,
Gwen Salaün:
Using Process Algebra for Web Services: Early Results and Perspectives.
TES 2004: 54-68 |
| 2003 |
|---|
| 8 | | Lucas Bordeaux,
Eric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
JFPLC 2003: 189-202 |
| 7 | EE | Lucas Bordeaux,
Eric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
Technique et Science Informatiques 22(1): 190-202 (2003) |
| 2002 |
|---|
| 6 | EE | Lucas Bordeaux,
Eric Monfroy:
Beyond NP: Arc-Consistency for Quantified Constraints.
CP 2002: 371-386 |
| 5 | EE | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Towards Automated Reasoning on the Properties of Numerical Constraints.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 47-61 |
| 4 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Raisonnement sur les propriétés de contraintes numériques.
JFPLC 2002: 13- |
| 2001 |
|---|
| 3 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency.
IJCAI 2001: 303-308 |
| 2 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Amélioration de la complexité des kB-consistances.
JFPLC 2001: 207-222 |
| 2000 |
|---|
| 1 | EE | Lucas Bordeaux,
Frédéric Benhamou:
Automated reasoning on monotonic constraints.
ICTAI 2000: 401- |
