Olivier Dubois
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1999–2003
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SAT | kcnfs: An Efficient Solver for Random k-SAT Formulae. | Gilles Dequen, Olivier Dubois |
| 2002 | FOCS | The 3-XORSAT Threshold. | Olivier Dubois, Jacques Mandler |
| 2001 | CP | The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10. | Olivier Dubois, Gilles Dequen |
| 2001 | IJCAI | A backbone-search heuristic for efficient solving of hard 3-SAT formulae. | Olivier Dubois, Gilles Dequen |
| 2000 | SODA | Typical random 3-SAT formulae and the satisfiability threshold. | Olivier Dubois, Yacine Boufkhad, Jacques Mandler |
| 1999 | ESANN | On the invertibility of the RBF model in a predictive control strategy. | Antoine Fache, Olivier Dubois, Alain Billat |