Lucas Bordeaux

Stefanos Eleftheriadis

James Hensman

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.

[BibT_eX]

[DOI]

Julien P. C. Valentin

ACM Trans. Graph., 2016

Political Dimensionality Estimation Using a Probabilistic Graphical Model.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second Conference on Uncertainty in Artificial Intelligence, 2016

2013

Constraint Games: Framework and Local Search Solver.

[BibT_eX]

[DOI]

Thi-Van-Anh Nguyen

Arnaud Lallouet

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Knowledge Compilation with Empowerment.

[BibT_eX]

[DOI]

João Marques-Silva

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

On Unit-Refutation Complete Formulae with Existentially Quantified Variables.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nina Narodytska

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

The Complexity of Integer Bound Propagation.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

2010

Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning.

[BibT_eX]

[DOI]

Vincent Vidal

Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

2009

Generalizing consistency and other constraint properties to quantified constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Experiments with Massively Parallel Constraint Solving.

[BibT_eX]

[DOI]

Horst Samulowitz

Proceedings of the IJCAI 2009, 2009

2008

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

A Generalized Framework for Conflict Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2007

Preface to Special Issue on SAT/CP Integration.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2007

A solver for quantified Boolean and linear constraints.

[BibT_eX]

[DOI]

Lintao Zhang

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On the stochastic constraint satisfaction framework.

[BibT_eX]

[DOI]

Horst Samulowitz

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

An Analysis of Slow Convergence in Interval Propagation.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2007

Knowledge Compilation Properties of Tree-of-BDDs.

[BibT_eX]

[DOI]

Sathiamoorthy Subbarayan

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

AutoCollage.

[BibT_eX]

[DOI]

ACM Trans. Graph., 2006

Describing and reasoning on Web Services using Process Algebra.

[BibT_eX]

[DOI]

Gwen Salaün

Marco Schaerf

Int. J. Bus. Process. Integr. Manag., 2006

Propositional Satisfiability and Constraint Programming: A comparative survey.

[BibT_eX]

[DOI]

Lintao Zhang

ACM Comput. Surv., 2006

2005

CSP Properties for Quantified Constraints: Definitions and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

When are Two Web Services Compatible?

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Using Process Algebra for Web Services: Early Results and Perspectives.

[BibT_eX]

[DOI]

Gwen Salaün

Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Computing Equilibria Using Interval Constraints.

[BibT_eX]

[DOI]

Brice Pajot

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.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

2002

Raisonnement sur les propriétés de contraintes numériques.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

Beyond NP: Arc-Consistency for Quantified Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Towards Automated Reasoning on the Properties of Numerical Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2002

2001

Amélioration de la complexité des kB-consistances.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Improved bounds on the complexity of kB-consistency.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Automated reasoning on monotonic constraints.

[BibT_eX]

[DOI]