58
Publications
2.9K
Citations
29
H-Index
1991
Active since
Christian Bessière is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsMathematical ProgrammingCombinatorial OptimizationFormal VerificationComputational ComplexityVerificationSystems Engineering
Publications per year
1991–2023
58
58
Refining the Basic Constraint Propagation Algorithm.
Christian Bessière, Jean-Charles Régin · 2001 · 158 citations
Rows per page
1–5 of 58