Fr ́ed ́eric Boussemart

F́

Statistics

Publications

Citations

H-Index

Active since

2005

Affiliations

Centre National de la Recherche Scientifique(Current)

Fr ́ed ́eric Boussemart is an author at Centre National de la Recherche Scientifique specializing in formal verification, satisfiability, and computational complexity.

Top concepts

EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningFormal VerificationDiscrete MathematicsComputational ComplexityMathematical Programming

Publications per year

2005–2005

Publications

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

Rows per page

1–1 of 1