Concepedia

Yacine Boufkhad

YB

11

Publications

583

Citations

11

H-Index

1997

Active since

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Université d'Artois

Centre de Recherche en Informatique

Yacine Boufkhad is an author at Université Paris Cité specializing in satisfiability, computational complexity, and engineering.

Top concepts

EngineeringSatisfiabilityComputational ComplexityProbabilityDiscrete MathematicsFormal MethodsComputer ScienceAutomated ReasoningStatisticsGraph Theory

Publications per year

1997–2008

11

Publications

11

Typical random 3-SAT formulae and the satisfiability threshold

Olivier Dubois, Yacine Boufkhad, Jacques Mandler · ArXiv.org · 2002 · 145 citations · Full text

Engineering, Graph Theory, Probabilistic Graph Theory +14

A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae

Olivier Dubois, Yacine Boufkhad · Journal of Algorithms · 1997 · 136 citations

Engineering, Proof Complexity, General Upper Bound +8

A Translation of Pseudo-Boolean Constraints to SAT

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 67 citations · Full text

Circuit Complexity, Mathematical Programming, Engineering +16

Typical Random 3-SAT Formulae and the Satisfiability Threshold

O Dubois, Yacine Boufkhad · 2000 · 62 citations

Regular Random k-SAT: Properties of Balanced Formulas

Yacine Boufkhad, Olivier Dubois, Yannet Interian et al. · Journal of Automated Reasoning · 2006 · 39 citations

Engineering, Sat Solving, Probability Theory +3

Rows per page

1–5 of 11