Concepedia

Fred Hémery

FH

7

Publications

801

Citations

7

H-Index

2004

Active since

Affiliations

Centre de Recherche en Informatique(Current)

Centre National de la Recherche Scientifique

Beihang University

Fred Hémery is an author at Centre de Recherche en Informatique specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityCombinatorial OptimizationSatisfiabilityFormal VerificationArtificial IntelligenceBusiness

Publications per year

2004–2007

7

Publications

7

Boosting systematic search by weighting constraints

Frédéric Boussemart, Fred Hémery, Christophe Lecoutre et al. · 2004 · 398 citations

Artificial Intelligence, Engineering, Machine Learning +24

Random constraint satisfaction: Easy generation of hard (satisfiable) instances

Ke Xu, Frédéric Boussemart, Fred Hémery et al. · Artificial Intelligence · 2007 · 156 citations

Constraint Solving, Engineering, Automated Reasoning +7

A Study of Residual Supports in Arc Consistency

Christophe Lecoutre, Fred Hémery · 2006 · 71 citations

A Simple Model to Generate Hard Satisfiable Instances

Ke Xu, Fr ́ed ́eric Boussemart, Fred Hémery et al. · arXiv (Cornell University) · 2005 · 68 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +17

Backjump-based techniques versus conflict-directed heuristics

Christophe Lecoutre, Frédéric Boussemart, Fred Hémery · 2005 · 47 citations

Artificial Intelligence, Engineering, Computational Complexity +17

Rows per page

1–5 of 7