Travelled to:1 × Italy
1 × USA
Collaborated with:G.Dequen
Talks about:formula (2) random (2) sat (2) function (1) solver (1) renorm (1) length (1) effici (1) kcnfs (1) claus (1)
Person: Olivier Dubois
DBLP: Dubois:Olivier
Contributed to:
20032002Wrote 2 papers:
- SAT-2003-DequenD #named #performance #random #satisfiability
- kcnfs: An Efficient Solver for Random k-SAT Formulae (GD, OD), pp. 486–501.
- SAT-2002-DuboisD #random #satisfiability
- Renormalization as a function of clause lengths for solving random k-SAT formulae (OD, GD), p. 15.