Hervé Daudé - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2015

Exact location of the phase transition for random (1, 2)-QSATNadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol. ita, 49(1):23-45, 2015. [doi]

2013

Sensitivity of Boolean formulasNadia Creignou, Hervé Daudé. ejc, 34(5):793-805, 2013. [doi]

2012

The MAX-CUT of sparse random graphsHervé Daudé, Conrado Martínez, Vonjy Rasendrahasina, Vlady Ravelomanana. soda 2012: 265-271 [doi]

2011

Random 2 XORSAT Phase TransitionHervé Daudé, Vlady Ravelomanana. algorithmica, 59(1):48-65, 2011. [doi]

2009

(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions MechanismsNadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol. sat 2009: 363-376 [doi]

The SAT-UNSAT transition for random constraint satisfaction problemsNadia Creignou, Hervé Daudé. DM, 309(8):2085-2099, 2009. [doi]

2008

New Results on the Phase Transition for Random Quantified Boolean FormulasNadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol. sat 2008: 34-47 [doi]

Pairs of SAT-assignments in random Boolean formulæHervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina. TCS, 393(1-3):260-279, 2008. [doi]

Random 2-XORSAT at the Satisfiability ThresholdHervé Daudé, Vlady Ravelomanana. latin 2008: 12-23 [doi]

2007

Phase Transition for Random Quantified XOR-FormulasNadia Creignou, Hervé Daudé, Uwe Egly. jair, 29:1-18, 2007. [doi]

2005

A sharp threshold for the renameable-Horn and the q-Horn propertiesNadia Creignou, Hervé Daudé, John V. Franco. DAM, 153(1-3):48-57, 2005. [doi]

2004

Combinatorial sharpness criterion and phase transition classification for random CSPsNadia Creignou, Hervé Daudé. iandc, 190(2):220-238, 2004. [doi]

2003

Approximating The Satisfiability Threshold For Random K-Xor-FormulasNadia Creignou, Hervé Daudé, Olivier Dubois. cpc, 12(2):113-126, 2003.

Generalized satisfiability problems: minimal elements and phase transitionsNadia Creignou, Hervé Daudé. TCS, 302(1-3):417-430, 2003. [doi]

Smooth and sharp thresholds for random ::::k::::-XOR-CNF satisfiabilityNadia Creignou, Hervé Daudé. ita, 37(2):127-147, 2003. [doi]

1999

Satisfiability Threshold for Random XOR-CNF FormulasNadia Creignou, Hervé Daudé. DAM, 96-97:41-53, 1999. [doi]

1997

An Average-Case Analysis of the Gaussian Algorithm for Lattice ReductionHervé Daudé, Philippe Flajolet, Brigitte Vallée. cpc, 6(4):397-433, 1997.

1994

An analysis of the Gaussian algorithm for lattice reductionHervé Daudé, Philippe Flajolet, Brigitte Vallée. antsw 1994: 144-158

An Upper Bound on the Average Number of Iterations of the LLL AlgorithmHervé Daudé, Brigitte Vallée. TCS, 123(1):95-115, 1994.

Sign in or sign up to see more results.

runs on WebDSL