Olivier Dubois

Publication Activity (10 Years)

Years Active: 1989-2011
Publications (10 Years): 0

Publications

Yacine Boufkhad, Olivier Dubois
Second moment method for a family of boolean CSP CoRR (2011)
Gilles Dequen, Olivier Dubois
-satProblems. J. Autom. Reason. 37 (4) (2006)
Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman
-SAT: Properties of Balanced Formulas. J. Autom. Reason. 35 (1-3) (2005)
Olivier Dubois, Guy Louchard, Jacques Mandler
Additive Decompositions, Random Allocations, and Threshold Phenomena. Comb. Probab. Comput. 13 (4-5) (2004)
Yacine Boufkhad, Olivier Dubois, Maurice Nivat
Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections. Theor. Comput. Sci. 290 (3) (2003)
Olivier Dubois, Yacine Boufkhad, Jacques Mandler
Typical random 3-SAT formulae and the satisfiability threshold Electron. Colloquium Comput. Complex. 10 (007) (2003)
Nadia Creignou, Hervé Daudé, Olivier Dubois
Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Comb. Probab. Comput. 12 (2) (2003)
Gilles Dequen, Olivier Dubois
kcnfs: An Efficient Solver for Random k-SAT Formulae. SAT (2003)
Olivier Dubois, Yacine Boufkhad, Jacques Mandler
Typical random 3-SAT formulae and the satisfiability threshold CoRR (2002)
Olivier Dubois, Jacques Mandler
The 3-XORSAT Threshold. FOCS (2002)
Nadia Creignou, Hervé Daudé, Olivier Dubois
Approximating the satisfiability threshold for random k-XOR-formulas CoRR (2001)
Olivier Dubois
Upper bounds on the satisfiability threshold. Theor. Comput. Sci. 265 (1-2) (2001)
Olivier Dubois, Rémi Monasson, Bart Selman, Riccardo Zecchina
Editorial. Theor. Comput. Sci. 265 (1-2) (2001)
Olivier Dubois, Gilles Dequen
A backbone-search heuristic for efficient solving of hard 3-SAT formulae. IJCAI (2001)
Olivier Dubois, Gilles Dequen
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10. CP (2001)
Olivier Dubois, Yacine Boufkhad, Jacques Mandler
Typical random 3-SAT formulae and the satisfiability threshold. SODA (2000)
Yacine Boufkhad, Olivier Dubois
Length of Prime Implicants and Number of Solutions of Random CNF Formulae. Theor. Comput. Sci. 215 (1-2) (1999)
Olivier Dubois, Pascal André, Yacine Boufkhad, Jacques Carlier
SAT versus UNSAT. Cliques, Coloring, and Satisfiability (1993)
Olivier Dubois
Counting the Number of Solutions for Instances of Satisfiability. Theor. Comput. Sci. 81 (1) (1991)
Olivier Dubois, Jacques Carlier
Probabilistic approach to the Satisfiability Problem. Theor. Comput. Sci. 81 (1) (1991)
Olivier Dubois
On the r, s-SAT satisfiability problem and a conjecture of Tovey. Discret. Appl. Math. 26 (1) (1990)
J. C. Simon, Olivier Dubois
Number of solutions of Satisfiability Instances - Applications to Knowledge Bases. Int. J. Pattern Recognit. Artif. Intell. 3 (1) (1989)