| 2009 | ||
|---|---|---|
| 3 | Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. SAT 2009: 363-376 | |
| 2 | Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: The threshold for random (1,2)-QSAT CoRR abs/0907.0937: (2009) | |
| 2008 | ||
| 1 | Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: New Results on the Phase Transition for Random Quantified Boolean Formulas. SAT 2008: 34-47 | |
| 1 | Nadia Creignou | [1] [2] [3] |
| 2 | Hervé Daudé | [1] [2] [3] |
| 3 | Uwe Egly | [1] [2] [3] |