19
Publications
2.1K
Citations
14
H-Index
1994
Active since
Jean-Charles Régin is an author at Centre National de la Recherche Scientifique specializing in engineering, mathematical programming, and computer science.
Top concepts
EngineeringComputer ScienceMathematical ProgrammingFormal MethodsComputational ComplexityCombinatorial OptimizationVerificationAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1994–2019
19
19
Generalized arc consistency for global cardinality constraint
Jean-Charles Régin · 1996 · 314 citations
Refining the Basic Constraint Propagation Algorithm.
Christian Bessière, Jean-Charles Régin · 2001 · 158 citations
Rows per page
1–5 of 19