Concepedia

Frédéric Boussemart

FB

Statistics

Publications

6

Citations

678

H-Index

6

Active since

2004

Affiliations

Centre de Recherche en Informatique(Current)

Centre National de la Recherche Scientifique

Frédéric Boussemart is an author at Centre de Recherche en Informatique specializing in computer science, engineering, and computational complexity.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityCombinatorial OptimizationData ScienceProgram AnalysisParallel ComputingComputer Engineering

Publications per year

2004–2016

6

Publications

6

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

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

Extracting MUCs from Constraint Networks

Fred Hémery, Christophe Lecoutre, Lahkdar Sais et al. · 2006 · 46 citations

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard et al. · arXiv (Cornell University) · 2016 · 16 citations · Full text

Mathematical Programming, Engineering, Constrained Optimization +18

1–5 of 6