Olivier Dubois

Available identifiers

zbMath Open dubois.olivier.1MaRDI QIDQ808704

List of research outcomes

Publication	Date of Publication	Type
Multigrid for an HDG method	2014-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q3576757	2010-08-02	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
An efficient approach to solving random \(k\)-SAT problems	2007-05-03	Paper
Regular random \(k\)-SAT: Properties of balanced formulas	2007-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5692855	2005-09-28	Paper
Additive Decompositions, Random Allocations, and Threshold Phenomena	2005-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q4475625	2004-08-09	Paper
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections.	2003-08-17	Paper
The 3-XORSAT threshold.	2003-05-27	Paper
Approximating the Satisfiability Threshold for Random k-XOR-formulas	2003-01-01	Paper
On the non-3-colourability of random graphs	2002-09-09	Paper
Upper bounds on the satisfiability threshold	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4952608	2000-05-10	Paper
Length of prime implicants and number of solutions of random CNF formulae	1999-04-28	Paper
A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae	1997-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5687266	1997-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4014810	1992-12-07	Paper
Probabilistic approach to the satisfiability problem	1991-01-01	Paper
Counting the number of solutions for instances of satisfiability	1991-01-01	Paper
On the r,s-SAT satisfiability problem and a conjecture of Tovey	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5753586	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3723699	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728244	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Olivier Dubois