Charlotte Truchet

Charles Prud'homme

Constraints An Int. J., September, 2023

2022

Solution sampling with random table constraints.

[BibT_eX]

[DOI]

Mathieu Vavrille

Charles Prud'homme

Constraints An Int. J., 2022

2020

Modular Constraint Solver Cooperation via Abstract Interpretation.

[BibT_eX]

[DOI]

Pierre Talbot

Éric Monfroy

Theory Pract. Log. Program., 2020

2019

Revisiting Counting Solutions for the Global Cardinality Constraint.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Combining Constraint Languages via Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions.

[BibT_eX]

[DOI]

Giovanni Lo Bianco

Xavier Lorca

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Reachability in parametric Interval Markov Chains using constraints.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Finding Solutions by Finding Inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

A global constraint for over-approximation of real-time streams.

[BibT_eX]

[DOI]

Anicet Bart

Éric Monfroy

Constraints An Int. J., 2017

Reachability in Parametric Interval Markov Chains Using Constraints.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Estimating parallel runtimes for randomized algorithms in constraint solving.

[BibT_eX]

[DOI]

J. Heuristics, 2016

A Probabilistic-Based Model for Binary CSP.

[BibT_eX]

[DOI]

Amine Balafrej

Xavier Lorca

CoRR, 2016

Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms.

[BibT_eX]

[DOI]

Alejandro Arbelaez

Barry O'Sullivan

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

Verifying a Real-Time Language with Constraints.

[BibT_eX]

[DOI]

Anicet Bart

Éric Monfroy

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Introduction.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2014

The octagon abstract domain for continuous constraints.

[BibT_eX]

[DOI]

Frédéric Benhamou

Constraints An Int. J., 2014

Interactive Design of Sustainable Cities with a Distributed Local Search Solver.

[BibT_eX]

[DOI]

Bruno Belin

Marc Christie

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2013

Using sequential runtime distributions for the parallel speedup prediction of SAT local search.

[BibT_eX]

[DOI]

Alejandro Arbelaez

Theory Pract. Log. Program., 2013

A Constraint Solver Based on Abstract Domains.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Prediction of Parallel Speed-Ups for Las Vegas Algorithms.

[BibT_eX]

[DOI]

Florian Richoux

Proceedings of the 42nd International Conference on Parallel Processing, 2013

When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent.

[BibT_eX]

[DOI]

Jérémie Du Boisberranger

Danièle Gardy

Xavier Lorca

Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, 2013

2011

Octagonal Domains for Continuous Constraints.

[BibT_eX]

[DOI]

Frédéric Benhamou

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Abstract Domains for Constraint Programming, with the Example of Octagons.

[BibT_eX]

[DOI]

Frédéric Benhamou

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Sonet Network Design Problems

[BibT_eX]

[DOI]

Pascal Van Hentenryck

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Six Ways of Integrating Symmetries within Non-overlapping Constraints.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

A Tabu Search Method for Interval Constraints.

[BibT_eX]

[DOI]

Marc Christie

Jean-Marie Normand

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic <i>k</i>-Dimensional Objects.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2005

Graph Invariants as Necessary Conditions for Global Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Musical constraint satisfaction problems solved with adaptive search.

[BibT_eX]

[DOI]

Soft Comput., 2004

Programmation par contraintes et composition musicale.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2004

2003

Computation of words satisfying the "rhythmic oddity property" (after Simha Arom's works).

[BibT_eX]

[DOI]

Marc Chemillier

Inf. Process. Lett., 2003

2001

Recherche adaptative et contraintes musicales.

[BibT_eX]

Carlos Agón

Gérard Assayag

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

Visual and Adaptive Constraint Programming in Music.

[BibT_eX]

[DOI]

Gérard Assayag