| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 46 |       | Nadia Creignou, Hervé Daudé, Uwe Egly: Phase Transition for Random Quantified XOR-Formulas CoRR abs/1110.2739: (2011) |
| 37 | | Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. SAT 2009: 363-376 |
| 36 | | Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: The threshold for random (1,2)-QSAT CoRR abs/0907.0937: (2009) |
| 34 | | Nadia Creignou, Hervé Daudé: The SAT-UNSAT transition for random constraint satisfaction problems. Discrete Mathematics 309(8): 2085-2099 (2009) |
| 29 | | Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: New Results on the Phase Transition for Random Quantified Boolean Formulas. SAT 2008: 34-47 |
| 25 | | Nadia Creignou, Hervé Daudé, Uwe Egly: Phase Transition for Random Quantified XOR-Formulas. J. Artif. Intell. Res. (JAIR) 29: 1-18 (2007) |
| 19 | | Nadia Creignou, Hervé Daudé, John V. Franco: A sharp threshold for the renameable-Horn and the q-Horn properties. Discrete Applied Mathematics 153(1-3): 48-57 (2005) |
| 14 | | Nadia Creignou, Hervé Daudé: Combinatorial sharpness criterion and phase transition classification for random CSPs. Inf. Comput. 190(2): 220-238 (2004) |
| 13 | | Nadia Creignou, Hervé Daudé, Olivier Dubois: Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Combinatorics, Probability & Computing 12(2): 113-126 (2003) |
| 12 | | Nadia Creignou, Hervé Daudé: Smooth and sharp thresholds for random k-XOR-CNF satisfiability. ITA 37(2): 127-147 (2003) |
| 11 | | Nadia Creignou, Hervé Daudé: Generalized satisfiability problems: minimal elements and phase transitions. Theor. Comput. Sci. 302(1-3): 417-430 (2003) |
| 10 | | Nadia Creignou, Hervé Daudé, Olivier Dubois: Approximating the satisfiability threshold for random k-XOR-formulas CoRR cs.DM/0106001: (2001) |
| 9 | | Nadia Creignou, Hervé Daudé: Satisfiability Threshold for Random XOR-CNF Formulas. Discrete Applied Mathematics 96-97: 41-53 (1999) |
Selection of 13 from 52 records - Nadia Creignou has 29 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page