Concepedia
Statistics
Publications
1
Citations
62
H-Index
Active since
2000
Affiliations
Lamsade(Current)
O Dubois is an author at Lamsade specializing in theory of computation, boolean satisfiability, and computing.
Publications per year
2000–2000
Typical Random 3-SAT Formulae and the Satisfiability Threshold
O Dubois, Yacine Boufkhad · 2000 · 62 citations
Computing, Computer Science, Mathematics +13
1–1 of 1