Lucas Bordeaux

According to our database1, Lucas Bordeaux authored at least 33 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2016
Efficient and precise interactive hand tracking through joint, continuous optimization of pose and correspondences.
ACM Trans. Graph., 2016

Political Dimensionality Estimation Using a Probabilistic Graphical Model.
Proceedings of the Thirty-Second Conference on Uncertainty in Artificial Intelligence, 2016

2013
Constraint Games: Framework and Local Search Solver.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
Knowledge Compilation with Empowerment.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

On Unit-Refutation Complete Formulae with Existentially Quantified Variables.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

On the Violation of Circuits in Decomposable Negation Normal Form.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011
The Complexity of Integer Bound Propagation.
J. Artif. Intell. Res., 2011

2010
Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

2009
Generalizing consistency and other constraint properties to quantified constraints.
ACM Trans. Comput. Log., 2009

Experiments with Massively Parallel Constraint Solving.
Proceedings of the IJCAI 2009, 2009

2008
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
J. Artif. Intell. Res., 2008

A Generalized Framework for Conflict Analysis.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2007
Preface to Special Issue on SAT/CP Integration.
J. Satisf. Boolean Model. Comput., 2007

A solver for quantified Boolean and linear constraints.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On the stochastic constraint satisfaction framework.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

An Analysis of Slow Convergence in Interval Propagation.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Knowledge Compilation Properties of Tree-of-BDDs.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
AutoCollage.
ACM Trans. Graph., 2006

Describing and reasoning on Web Services using Process Algebra.
IJBPIM, 2006

Propositional Satisfiability and Constraint Programming: A comparative survey.
ACM Comput. Surv., 2006

2005
CSP Properties for Quantified Constraints: Definitions and Complexity.
Proceedings of the Proceedings, 2005

2004
When are Two Web Services Compatible?
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Using Process Algebra for Web Services: Early Results and Perspectives.
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.
Proceedings of the Logic for Programming, 2004

Computing Equilibria Using Interval Constraints.
Proceedings of the Recent Advances in Constraints, 2004

2003
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
Technique et Science Informatiques, 2003

2002
Raisonnement sur les propriétés de contraintes numériques.
Proceedings of the Programmation en logique avec contraintes, 2002

Beyond NP: Arc-Consistency for Quantified Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Towards Automated Reasoning on the Properties of Numerical Constraints.
Proceedings of the Recent Advances in Constraints, 2002

2001
Amélioration de la complexité des kB-consistances.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Improved bounds on the complexity of kB-consistency.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Automated reasoning on monotonic constraints.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000


  Loading...