Olivier Dubois

From MaRDI portal
Person:808704

Available identifiers

zbMath Open dubois.olivier.1MaRDI QIDQ808704

List of research outcomes





PublicationDate of PublicationType
Multigrid for an HDG method2014-11-18Paper
Expected number of locally maximal solutions for random Boolean CSPs2010-08-02Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
An efficient approach to solving random \(k\)-SAT problems2007-05-03Paper
Regular random \(k\)-SAT: Properties of balanced formulas2007-01-24Paper
https://portal.mardi4nfdi.de/entity/Q56928552005-09-28Paper
Additive Decompositions, Random Allocations, and Threshold Phenomena2005-04-18Paper
https://portal.mardi4nfdi.de/entity/Q44756252004-08-09Paper
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections.2003-08-17Paper
The 3-XORSAT threshold.2003-05-27Paper
Approximating the Satisfiability Threshold for Random k-XOR-formulas2003-01-01Paper
On the non-3-colourability of random graphs2002-09-09Paper
Upper bounds on the satisfiability threshold2002-03-03Paper
https://portal.mardi4nfdi.de/entity/Q49526082000-05-10Paper
Length of prime implicants and number of solutions of random CNF formulae1999-04-28Paper
A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae1997-10-20Paper
https://portal.mardi4nfdi.de/entity/Q56872661997-06-09Paper
https://portal.mardi4nfdi.de/entity/Q40148101992-12-07Paper
Counting the number of solutions for instances of satisfiability1991-01-01Paper
Probabilistic approach to the satisfiability problem1991-01-01Paper
On the r,s-SAT satisfiability problem and a conjecture of Tovey1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57535861990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37236991986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47282441986-01-01Paper

Research outcomes over time

This page was built for person: Olivier Dubois