| 2019 | AISTATS | Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era. | Nicolas Durrande, Vincent Adam, Lucas Bordeaux, Stefanos Eleftheriadis, James Hensman |
| 2016 | UAI | Political Dimensionality Estimation Using a Probabilistic Graphical Model. | Yoad Lewenberg, Yoram Bachrach, Lucas Bordeaux, Pushmeet Kohli |
| 2013 | ICTAI | Constraint Games: Framework and Local Search Solver. | Thi-Van-Anh Nguyen, Arnaud Lallouet, Lucas Bordeaux |
| 2012 | KR | On Unit-Refutation Complete Formulae with Existentially Quantified Variables. | Lucas Bordeaux, Mikols Janota, Joo Marques-Silva, Pierre Marquis |
| 2012 | SOFSEM | Knowledge Compilation with Empowerment. | Lucas Bordeaux, Joo Marques-Silva |
| 2010 | SoCS | Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. | Vincent Vidal, Lucas Bordeaux, Youssef Hamadi |
| 2009 | IJCAI | Experiments with Massively Parallel Constraint Solving. | Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz |
| 2008 | SAT | A Generalized Framework for Conflict Analysis. | Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2007 | AAAI | Knowledge Compilation Properties of Tree-of-BDDs. | Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi |
| 2007 | CP | An Analysis of Slow Convergence in Interval Propagation. | Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi |
| 2007 | SAC | On the stochastic constraint satisfaction framework. | Lucas Bordeaux, Horst Samulowitz |
| 2007 | SAC | A solver for quantified Boolean and linear constraints. | Lucas Bordeaux, Lintao Zhang |
| 2005 | AAAI | CSP Properties for Quantified Constraints: Definitions and Complexity. | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2004 | ICWS | Describing and Reasoning on Web Services using Process Algebra. | Gwen Salan, Lucas Bordeaux, Marco Schaerf |
| 2004 | LPAR | Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2002 | CP | Beyond NP: Arc-Consistency for Quantified Constraints. | Lucas Bordeaux, ric Monfroy |
| 2001 | IJCAI | Improved bounds on the complexity of kB-consistency. | Lucas Bordeaux, ric Monfroy, Frdric Benhamou |
| 2000 | ICTAI | Automated reasoning on monotonic constraints. | Lucas Bordeaux, Frdric Benhamou |