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
Expected number of locally maximal solutions for random Boolean CSPs	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
Counting the number of solutions for instances of satisfiability	1991-01-01	Paper
Probabilistic approach to the satisfiability problem	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

This page was built for person: Olivier Dubois