Name Card

Full name Familienname, Vorname
Daude, Herve
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Creignou, Nadia ; Daude, Herve ; Egly, Uwe ; Rossignol, Raphael New Results on the Phase Transition for Random Quantified Boolean FormulasKonferenzbeitrag Inproceedings 2008
2Creignou, Nadia ; Daude, Herve ; Egly, Uwe Phase Transition for Random Quantified XOR-FormulasArtikel Article2007
3Creignou, Nadia ; Daude, Herve ; Egly, Uwe Phase Transition for Random Quantified XOR-formulasKonferenzbeitrag Inproceedings2006