3 citations · 8 across the 6 of their papers we have counts for
6 papers
A Constraint Programming Approach to Weighted Isomorphic Mapping of Fragment-based Shape Signatures
Thierry Petit, Randy J. Zauhar
Fragment-based shape signature techniques have proven to be powerful tools for computer-aided drug design. They allow scientists to search for target molecules with some similarity…
"Model and Run" Constraint Networks with a MILP Engine
Thierry Petit
Constraint Programming (CP) users need significant expertise in order to model their problems appropriately, notably to select propagators and search strategies. This puts the brak…
Dynamic Sweep Filtering Algorithm for FlexC
Alban Derrien, Thierry Petit, Stephane Zampelli
We investigate cumulative scheduling in uncertain environments, using constraint programming. We detail in this paper the dynamic sweep filtering algorithm of the FlexC global cons…
The Energetic Reasoning Checker Revisited
Alban Derrien, Thierry Petit
Energetic Reasoning (ER) is a powerful filtering algorithm for the Cumulative constraint. Unfortunately, ER is generally too costly to be used in practice. One reason of its bad be…
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
This paper introduces the SEQ BIN meta-constraint with a polytime algorithm achieving general- ized arc-consistency according to some properties. SEQ BIN can be used for encoding c…
The Soft Cumulative Constraint
Thierry Petit, Emmanuel Poder
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses…