Olivier Dubois - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2015

Optimized Schwarz methods for a diffusion problem with discontinuous coefficientMartin J. Gander, Olivier Dubois. na, 69(1):109-144, 2015. [doi]

2012

The Optimized Schwarz Method with a Coarse Grid CorrectionOlivier Dubois, Martin J. Gander, Sébastien Loisel, Amik St.-Cyr, Daniel B. Szyld. siamsc, 34(1), 2012. [doi]

2006

An Efficient Approach to Solving Random ::::k::::-satProblemsGilles Dequen, Olivier Dubois. JAR, 37(4):261-276, 2006. [doi]

2005

Regular Random ::::k::::-SAT: Properties of Balanced FormulasYacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman. JAR, 35(1-3):181-200, 2005. [doi]

2004

Additive Decompositions, Random Allocations, and Threshold PhenomenaOlivier Dubois, Guy Louchard, Jacques Mandler. cpc, 13(4-5):537-575, 2004. [doi]

2003

2002

The 3-XORSAT ThresholdOlivier Dubois, Jacques Mandler. focs 2002: 769-778 [doi]

2001

2000

Typical random 3-SAT formulae and the satisfiability thresholdOlivier Dubois, Yacine Boufkhad, Jacques Mandler. soda 2000: 126-127 [doi]

1999

Length of Prime Implicants and Number of Solutions of Random CNF FormulaeYacine Boufkhad, Olivier Dubois. TCS, 215(1-2):1-30, 1999. [doi]

On the invertibility of the RBF model in a predictive control strategyAntoine Fache, Olivier Dubois, Alain Billat. esann 1999: 381-386 [doi]

1991

Counting the Number of Solutions for Instances of SatisfiabilityOlivier Dubois. TCS, 81(1):49-64, 1991.

Probabilistic approach to the Satisfiability ProblemOlivier Dubois, Jacques Carlier. TCS, 81(1):65-75, 1991.

1990

On the r, s-SAT satisfiability problem and a conjecture of ToveyOlivier Dubois. DAM, 26(1):51-60, 1990. [doi]

1989

Number of solutions of Satisfiability Instances - Applications to Knowledge BasesJ. C. Simon, Olivier Dubois. ijprai, 3(1):53-66, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL