Olivier Dubois

	2012
22		Olivier Dubois, Martin J. Gander, Sébastien Loisel, Amik St.-Cyr, Daniel B. Szyld: The Optimized Schwarz Method with a Coarse Grid Correction. SIAM J. Scientific Computing 34(1): (2012)
	2011
21		Yacine Boufkhad, Olivier Dubois: Second moment method for a family of boolean CSP CoRR abs/1107.2737: (2011)
	2006
20		Gilles Dequen, Olivier Dubois: An Efficient Approach to Solving Random k-satProblems. J. Autom. Reasoning 37(4): 261-276 (2006)
	2005
19		Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman: Regular Random k-SAT: Properties of Balanced Formulas. J. Autom. Reasoning 35(1-3): 181-200 (2005)
	2004
18		Olivier Dubois, Guy Louchard, Jacques Mandler: Additive Decompositions, Random Allocations, and Threshold Phenomena. Combinatorics, Probability & Computing 13(4-5): 537-575 (2004)
	2003
17		Gilles Dequen, Olivier Dubois: kcnfs: An Efficient Solver for Random k-SAT Formulae. SAT 2003: 486-501
16		Nadia Creignou, Hervé Daudé, Olivier Dubois: Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Combinatorics, Probability & Computing 12(2): 113-126 (2003)
15		Olivier Dubois, Yacine Boufkhad, Jacques Mandler: Typical random 3-SAT formulae and the satisfiability threshold Electronic Colloquium on Computational Complexity (ECCC) 10(007): (2003)
14		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): 1647-1664 (2003)
	2002
13		Olivier Dubois, Jacques Mandler: The 3-XORSAT Threshold. FOCS 2002: 769-778
12		Olivier Dubois, Yacine Boufkhad, Jacques Mandler: Typical random 3-SAT formulae and the satisfiability threshold CoRR cs.DM/0211036: (2002)
	2001
11		Olivier Dubois, Gilles Dequen: The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10. CP 2001: 108-120
10		Olivier Dubois, Gilles Dequen: A backbone-search heuristic for efficient solving of hard 3-SAT formulae. IJCAI 2001: 248-253
9		Nadia Creignou, Hervé Daudé, Olivier Dubois: Approximating the satisfiability threshold for random k-XOR-formulas CoRR cs.DM/0106001: (2001)
8		Olivier Dubois, Rémi Monasson, Bart Selman, Riccardo Zecchina: Editorial. Theor. Comput. Sci. 265(1-2): 1 (2001)
7		Olivier Dubois: Upper bounds on the satisfiability threshold. Theor. Comput. Sci. 265(1-2): 187-197 (2001)
	2000
6		Olivier Dubois, Yacine Boufkhad, Jacques Mandler: Typical random 3-SAT formulae and the satisfiability threshold. SODA 2000: 126-127
	1999
5		Antoine Fache, Olivier Dubois, Alain Billat: On the invertibility of the RBF model in a predictive control strategy. ESANN 1999: 381-386
4		Yacine Boufkhad, Olivier Dubois: Length of Prime Implicants and Number of Solutions of Random CNF Formulae. Theor. Comput. Sci. 215(1-2): 1-30 (1999)
	1991
3		Olivier Dubois: Counting the Number of Solutions for Instances of Satisfiability. Theor. Comput. Sci. 81(1): 49-64 (1991)
2		Olivier Dubois, Jacques Carlier: Probabilistic approach to the Satisfiability Problem. Theor. Comput. Sci. 81(1): 65-75 (1991)
	1990
1		Olivier Dubois: On the r, s-SAT satisfiability problem and a conjecture of Tovey. Discrete Applied Mathematics 26(1): 51-60 (1990)

Coauthor Index

1	Alain Billat	[5]
2	Yacine Boufkhad	[4] [6] [12] [14] [15] [19] [21]
3	Jacques Carlier	[2]
4	Nadia Creignou	[9] [16]
5	Hervé Daudé	[9] [16]
6	Gilles Dequen	[10] [11] [17] [20]
7	Antoine Fache	[5]
8	Martin J. Gander	[22]
9	Yannet Interian	[19]
10	Sébastien Loisel	[22]
11	Guy Louchard	[18]
12	Jacques Mandler	[6] [12] [13] [15] [18]
13	Rémi Monasson	[8]
14	Maurice Nivat	[14]
15	Bart Selman	[8] [19]
16	Amik St.-Cyr	[22]
17	Daniel B. Szyld	[22]
18	Riccardo Zecchina	[8]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page