The following pages link to Olivier Dubois (Q808704):
Displayed 24 items.
- (Q236861) (redirect page) (← links)
- Probabilistic approach to the satisfiability problem (Q808705) (← links)
- Regular random \(k\)-SAT: Properties of balanced formulas (Q862410) (← links)
- An efficient approach to solving random \(k\)-SAT problems (Q877837) (← links)
- Length of prime implicants and number of solutions of random CNF formulae (Q1285568) (← links)
- Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. (Q1401184) (← links)
- The 3-XORSAT threshold. (Q1565907) (← links)
- On the r,s-SAT satisfiability problem and a conjecture of Tovey (Q1822964) (← links)
- Counting the number of solutions for instances of satisfiability (Q2277848) (← links)
- (Q3576757) (← links)
- (Q3723699) (← links)
- (Q4014810) (← links)
- A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae (Q4360139) (← links)
- (Q4475625) (← links)
- Additive Decompositions, Random Allocations, and Threshold Phenomena (Q4670355) (← links)
- (Q4728244) (← links)
- Approximating the Satisfiability Threshold for Random k-XOR-formulas (Q4802163) (← links)
- (Q4952608) (← links)
- Theory and Applications of Satisfiability Testing (Q5325884) (← links)
- (Q5687266) (← links)
- (Q5692855) (← links)
- (Q5753586) (← links)
- Upper bounds on the satisfiability threshold (Q5958807) (← links)
- On the non-3-colourability of random graphs (Q6472096) (← links)