Lucas Bordeaux

40 papers A* 5A 6B 5Misc 2Journal 13Unranked 8

Year	Rank	Type	Title / Venue / Authors
2019	A	`conf`	Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era. AISTATS Nicolas Durrande, Vincent Adam, Lucas Bordeaux, Stefanos Eleftheriadis, James Hensman
2019	J	`jnl`	Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era. CoRR Nicolas Durrande, Vincent Adam, Lucas Bordeaux, Stefanos Eleftheriadis, James Hensman
2016	J	`jnl`	Efficient and precise interactive hand tracking through joint, continuous optimization of pose and correspondences. ACM Trans. Graph. Jonathan Taylor, Lucas Bordeaux, Thomas J. Cashman, Bob Corish, Cem Keskin, Toby Sharp, Eduardo Soto, David Sweeney, Julien P. C. Valentin, Benjamin Luff, Arran Topalian, Erroll Wood, Sameh Khamis, Pushmeet Kohli, Shahram Izadi, Richard Banks, Andrew W. Fitzgibbon, Jamie Shotton
2016	A	`conf`	Political Dimensionality Estimation Using a Probabilistic Graphical Model. UAI Yoad Lewenberg, Yoram Bachrach, Lucas Bordeaux, Pushmeet Kohli
2014	J	`jnl`	A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. CoRR Lucas Bordeaux, Marco Cadoli, Toni Mancini
2014	J	`jnl`	The Complexity of Integer Bound Propagation. CoRR Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
2014	—	`book`	Tractability: Practical Approaches to Hard Problems Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli
2013	B	`conf`	Constraint Games: Framework and Local Search Solver. ICTAI Thi-Van-Anh Nguyen, Arnaud Lallouet, Lucas Bordeaux
2012	B	`conf`	Knowledge Compilation with Empowerment. SOFSEM Lucas Bordeaux, João Marques-Silva
2012	A*	`conf`	On Unit-Refutation Complete Formulae with Existentially Quantified Variables. KR Lucas Bordeaux, Mikolás Janota, João Marques-Silva, Pierre Marquis
2012	—	`conf`	On the Violation of Circuits in Decomposable Negation Normal Form. Australasian Conference on Artificial Intelligence Lucas Bordeaux, Nina Narodytska
2011	J	`jnl`	The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
2010	B	`conf`	Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. SOCS Vincent Vidal, Lucas Bordeaux, Youssef Hamadi
2009	A*	`conf`	Experiments with Massively Parallel Constraint Solving. IJCAI Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz
2009	J	`jnl`	Generalizing consistency and other constraint properties to quantified constraints. ACM Trans. Comput. Log. Lucas Bordeaux, Marco Cadoli, Toni Mancini
2008	A	`conf`	A Generalized Framework for Conflict Analysis. SAT Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2008	J	`jnl`	A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. J. Artif. Intell. Res. Lucas Bordeaux, Marco Cadoli, Toni Mancini
2007	Misc	`conf`	A solver for quantified Boolean and linear constraints. SAC Lucas Bordeaux, Lintao Zhang
2007	A	`conf`	An Analysis of Slow Convergence in Interval Propagation. CP Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi
2007	J	`jnl`	Generalizing Consistency and other Constraint Properties to Quantified Constraints CoRR Lucas Bordeaux, Marco Cadoli, Toni Mancini
2007	A*	`conf`	Knowledge Compilation Properties of Tree-of-BDDs. AAAI Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
2007	Misc	`conf`	On the stochastic constraint satisfaction framework. SAC Lucas Bordeaux, Horst Samulowitz
2007	J	`jnl`	Preface to Special Issue on SAT/CP Integration. J. Satisf. Boolean Model. Comput. Youssef Hamadi, Lucas Bordeaux
2006	J	`jnl`	AutoCollage. ACM Trans. Graph. Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Andrew Blake
2006	J	`jnl`	Describing and reasoning on Web Services using Process Algebra. Int. J. Bus. Process. Integr. Manag. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
2006	J	`jnl`	Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
2005	A*	`conf`	CSP Properties for Quantified Constraints: Definitions and Complexity. AAAI Lucas Bordeaux, Marco Cadoli, Toni Mancini
2004	—	`conf`	Computing Equilibria Using Interval Constraints. CSCLP Lucas Bordeaux, Brice Pajot
2004	A	`conf`	Describing and Reasoning on Web Services using Process Algebra. ICWS Gwen Salaün, Lucas Bordeaux, Marco Schaerf
2004	B	`conf`	Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. LPAR Lucas Bordeaux, Marco Cadoli, Toni Mancini
2004	—	`conf`	Using Process Algebra for Web Services: Early Results and Perspectives. TES Lucas Bordeaux, Gwen Salaün
2004	—	`conf`	When are Two Web Services Compatible? TES Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella
2003	—	`conf`	Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. JFPLC Lucas Bordeaux, Éric Monfroy
2003	J	`jnl`	Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. Tech. Sci. Informatiques Lucas Bordeaux, Éric Monfroy
2002	A	`conf`	Beyond NP: Arc-Consistency for Quantified Constraints. CP Lucas Bordeaux, Éric Monfroy
2002	—	`conf`	Raisonnement sur les propriétés de contraintes numériques. JFPLC Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2002	—	`conf`	Towards Automated Reasoning on the Properties of Numerical Constraints. International Workshop on Constraint Solving and Constraint Logic Programming Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001	—	`conf`	Amélioration de la complexité des kB-consistances. JFPLC Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001	A*	`conf`	Improved bounds on the complexity of kB-consistency. IJCAI Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2000	B	`conf`	Automated reasoning on monotonic constraints. ICTAI Lucas Bordeaux, Frédéric Benhamou