Travelled to:1 × China
1 × USA
1 × United Kingdom
Collaborated with:N.Creignou U.Egly R.Rossignol
Talks about:transit (2) random (2) phase (2) understand (1) quantifi (1) satisfi (1) problem (1) general (1) formula (1) boolean (1)
Person: Hervé Daudé
DBLP: Daud=eacute=:Herv=eacute=
Contributed to:
200920082002Wrote 3 papers:
- SAT-2009-CreignouDER #comprehension
- (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms (NC, HD, UE, RR), pp. 363–376.
- SAT-2008-CreignouDER #quantifier #random
- New Results on the Phase Transition for Random Quantified Boolean Formulas (NC, HD, UE, RR), pp. 34–47.
- SAT-2002-CreignouD #problem #random #satisfiability
- Random generalized satisfiability problems (NC, HD), p. 2.