Hervé Daudé

23 papers A* 1A 2B 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2015 J jnl
Exact location of the phase transition for random (1, 2)-QSAT.
RAIRO Theor. Informatics Appl.
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
2013 J jnl
Sensitivity of Boolean formulas.
Eur. J. Comb.
Nadia Creignou, Hervé Daudé
2012 A* conf
The MAX-CUT of sparse random graphs.
SODA
Hervé Daudé, Conrado Martínez, Vonjy Rasendrahasina, Vlady Ravelomanana
2011 J jnl
Phase Transition for Random Quantified XOR-Formulas
CoRR
Nadia Creignou, Hervé Daudé, Uwe Egly
2011 J jnl
Random 2 XORSAT Phase Transition.
Algorithmica
Hervé Daudé, Vlady Ravelomanana
2009 A conf
(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms.
SAT
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
2009 J jnl
The SAT-UNSAT transition for random constraint satisfaction problems.
Discret. Math.
Nadia Creignou, Hervé Daudé
2009 J jnl
The threshold for random (1,2)-QSAT
CoRR
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
2008 A conf
New Results on the Phase Transition for Random Quantified Boolean Formulas.
SAT
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
2008 J jnl
Pairs of SAT-assignments in random Boolean formulæ.
Theor. Comput. Sci.
Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina
2008 B conf
Random 2-XORSAT at the Satisfiability Threshold.
LATIN
Hervé Daudé, Vlady Ravelomanana
2007 J jnl
Phase Transition for Random Quantified XOR-Formulas.
J. Artif. Intell. Res.
Nadia Creignou, Hervé Daudé, Uwe Egly
2005 J jnl
A sharp threshold for the renameable-Horn and the q-Horn properties.
Discret. Appl. Math.
Nadia Creignou, Hervé Daudé, John V. Franco
2005 J jnl
Pairs of SAT Assignment in Random Boolean Formulae
CoRR
Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina
2004 J jnl
Combinatorial sharpness criterion and phase transition classification for random CSPs.
Inf. Comput.
Nadia Creignou, Hervé Daudé
2003 J jnl
Approximating The Satisfiability Threshold For Random K-Xor-Formulas.
Comb. Probab. Comput.
Nadia Creignou, Hervé Daudé, Olivier Dubois
2003 J jnl
Generalized satisfiability problems: minimal elements and phase transitions.
Theor. Comput. Sci.
Nadia Creignou, Hervé Daudé
2003 J jnl
Smooth and sharp thresholds for random
RAIRO Theor. Informatics Appl.
Nadia Creignou, Hervé Daudé
2001 J jnl
Approximating the satisfiability threshold for random k-XOR-formulas
CoRR
Nadia Creignou, Hervé Daudé, Olivier Dubois
1999 J jnl
Satisfiability Threshold for Random XOR-CNF Formulas.
Discret. Appl. Math.
Nadia Creignou, Hervé Daudé
1997 J jnl
An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction.
Comb. Probab. Comput.
Hervé Daudé, Philippe Flajolet, Brigitte Vallée
1994 J jnl
An Upper Bound on the Average Number of Iterations of the LLL Algorithm.
Theor. Comput. Sci.
Hervé Daudé, Brigitte Vallée
1994 — conf
An analysis of the Gaussian algorithm for lattice reduction.
ANTS
Hervé Daudé, Philippe Flajolet, Brigitte Vallée