Alert button
Picture for Lucas Bordeaux

Lucas Bordeaux

Alert button

Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era

Add code
Bookmark button
Alert button
Feb 26, 2019
Nicolas Durrande, Vincent Adam, Lucas Bordeaux, Stefanos Eleftheriadis, James Hensman

Figure 1 for Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era
Figure 2 for Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era
Figure 3 for Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era
Viaarxiv icon

The Complexity of Integer Bound Propagation

Add code
Bookmark button
Alert button
Jan 16, 2014
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi

Figure 1 for The Complexity of Integer Bound Propagation
Viaarxiv icon

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

Add code
Bookmark button
Alert button
Jan 15, 2014
Lucas Bordeaux, Marco Cadoli, Toni Mancini

Figure 1 for A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
Figure 2 for A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
Figure 3 for A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
Viaarxiv icon

Generalizing Consistency and other Constraint Properties to Quantified Constraints

Add code
Bookmark button
Alert button
May 24, 2007
Lucas Bordeaux, Marco Cadoli, Toni Mancini

Figure 1 for Generalizing Consistency and other Constraint Properties to Quantified Constraints
Figure 2 for Generalizing Consistency and other Constraint Properties to Quantified Constraints
Viaarxiv icon