Automated reasoning on monotonic constraints. - Lucas Bordeaux; Frédéric Benhamou (ICTAI, 2000)

Improved bounds on the complexity of kB-consistency. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (IJCAI, 2001)

Amélioration de la complexité des kB-consistances. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (JFPLC, 2001)

Towards Automated Reasoning on the Properties of Numerical Constraints. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Beyond NP: Arc-Consistency for Quantified Constraints. - Lucas Bordeaux; Éric Monfroy (CP, 2002)

Raisonnement sur les propriétés de contraintes numériques. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (JFPLC, 2002)

Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. - Lucas Bordeaux; Éric Monfroy (Tech. Sci. Informatiques, 2003)

Computing Equilibria Using Interval Constraints. - Lucas Bordeaux; Brice Pajot (CSCLP, 2004)

Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (LPAR, 2004)

Using Process Algebra for Web Services: Early Results and Perspectives. - Lucas Bordeaux; Gwen Salaün (TES, 2004)

When are Two Web Services Compatible? - Lucas Bordeaux; Gwen Salaün; Daniela Berardi; Massimo Mecella (TES, 2004)

CSP Properties for Quantified Constraints: Definitions and Complexity. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (AAAI, 2005)

Propositional Satisfiability and Constraint Programming: A comparative survey. - Lucas Bordeaux; Youssef Hamadi; Lintao Zhang (ACM Comput. Surv., 2006)

Describing and reasoning on Web Services using Process Algebra. - Gwen Salaün; Lucas Bordeaux; Marco Schaerf (Int. J. Bus. Process. Integr. Manag., 2006)

AutoCollage. - Carsten Rother; Lucas Bordeaux; Youssef Hamadi; Andrew Blake 001 (ACM Trans. Graph., 2006)

Knowledge Compilation Properties of Tree-of-BDDs. - Sathiamoorthy Subbarayan; Lucas Bordeaux; Youssef Hamadi (AAAI, 2007)

An Analysis of Slow Convergence in Interval Propagation. - Lucas Bordeaux; Youssef Hamadi; Moshe Y. Vardi (CP, 2007)

On the stochastic constraint satisfaction framework. - Lucas Bordeaux; Horst Samulowitz (SAC, 2007)

A solver for quantified Boolean and linear constraints. - Lucas Bordeaux; Lintao Zhang (SAC, 2007)

Preface to Special Issue on SAT/CP Integration. - Youssef Hamadi; Lucas Bordeaux (J. Satisf. Boolean Model. Comput., 2007)

A Generalized Framework for Conflict Analysis. - Gilles Audemard; Lucas Bordeaux; Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (SAT, 2008)

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (J. Artif. Intell. Res., 2008)

Experiments with Massively Parallel Constraint Solving. - Lucas Bordeaux; Youssef Hamadi; Horst Samulowitz (IJCAI, 2009)

Generalizing consistency and other constraint properties to quantified constraints. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (ACM Trans. Comput. Log., 2009)

Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. - Vincent Vidal 001; Lucas Bordeaux; Youssef Hamadi (SOCS, 2010)

The Complexity of Integer Bound Propagation. - Lucas Bordeaux; George Katsirelos; Nina Narodytska; Moshe Y. Vardi (J. Artif. Intell. Res., 2011)

On the Violation of Circuits in Decomposable Negation Normal Form. - Lucas Bordeaux; Nina Narodytska (Australasian Conference on Artificial Intelligence, 2012)

On Unit-Refutation Complete Formulae with Existentially Quantified Variables. - Lucas Bordeaux; Mikolás Janota; João Marques-Silva 001; Pierre Marquis (KR, 2012)

Knowledge Compilation with Empowerment. - Lucas Bordeaux; João Marques-Silva 001 (SOFSEM, 2012)

Constraint Games: Framework and Local Search Solver. - Thi-Van-Anh Nguyen; Arnaud Lallouet; Lucas Bordeaux (ICTAI, 2013)

Political Dimensionality Estimation Using a Probabilistic Graphical Model. - Yoad Lewenberg; Yoram Bachrach; Lucas Bordeaux; Pushmeet Kohli (UAI, 2016)

Efficient and precise interactive hand tracking through joint, continuous optimization of pose and correspondences. - Jonathan Taylor 001; Lucas Bordeaux; Thomas J. Cashman 001; Bob Corish; Cem Keskin; Toby Sharp; Eduardo Soto; David Sweeney; Julien P. C. Valentin; Benjamin Luff; Arran Topalian; Erroll Wood; et al. (ACM Trans. Graph., 2016)

Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era. - Nicolas Durrande; Vincent Adam; Lucas Bordeaux; Stefanos Eleftheriadis; James Hensman (AISTATS, 2019)