15 citations · 36 across the 4 of their papers we have counts for
4 papers
Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era
Nicolas Durrande, Vincent Adam, Lucas Bordeaux +2
Banded matrices can be used as precision matrices in several models including linear state-space models, some Gaussian processes, and Gaussian Markov random fields. The aim of the…
The Complexity of Integer Bound Propagation
Lucas Bordeaux, George Katsirelos, Nina Narodytska +1
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a searc…
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
Lucas Bordeaux, Marco Cadoli, Toni Mancini
Literature on Constraint Satisfaction exhibits the definition of several structural properties that can be possessed by CSPs, like (in)consistency, substitutability or interchangea…
Generalizing Consistency and other Constraint Properties to Quantified Constraints
Lucas Bordeaux, Marco Cadoli, Toni Mancini
Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual n…