BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Daud=eacute=:Herv=eacute=

Contributed to:

SAT 20092009
SAT 20082008
SAT 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.