Picture for Nicolas Beldiceanu

Nicolas Beldiceanu

Proving Conjectures Acquired by Composing Multiple Biases

Add code
Dec 14, 2023
Viaarxiv icon

Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints

Add code
Dec 03, 2019
Figure 1 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Figure 2 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Figure 3 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Figure 4 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Viaarxiv icon

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints

Add code
Jan 15, 2019
Figure 1 for Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Figure 2 for Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Figure 3 for Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Figure 4 for Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Viaarxiv icon

Global Constraint Catalog, Volume II, Time-Series Constraints

Add code
Sep 18, 2018
Figure 1 for Global Constraint Catalog, Volume II, Time-Series Constraints
Figure 2 for Global Constraint Catalog, Volume II, Time-Series Constraints
Figure 3 for Global Constraint Catalog, Volume II, Time-Series Constraints
Figure 4 for Global Constraint Catalog, Volume II, Time-Series Constraints
Viaarxiv icon

Propagating Regular Counting Constraints

Add code
Sep 27, 2013
Figure 1 for Propagating Regular Counting Constraints
Figure 2 for Propagating Regular Counting Constraints
Figure 3 for Propagating Regular Counting Constraints
Figure 4 for Propagating Regular Counting Constraints
Viaarxiv icon

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction

Add code
Oct 21, 2011
Viaarxiv icon