The following pages link to Hervé Daudé (Q598195):
Displayed 21 items.
- Combinatorial sharpness criterion and phase transition classification for random CSPs (Q598196) (← links)
- The SAT-UNSAT transition for random constraint satisfaction problems (Q1025462) (← links)
- An upper bound on the average number of iterations of the LLL algorithm (Q1314406) (← links)
- Generalized satisfiability problems: Minimal elements and phase transitions. (Q1401338) (← links)
- Sensitivity of Boolean formulas (Q1943387) (← links)
- Satisfiability threshold for random XOR-CNF formulas (Q1961446) (← links)
- Pairs of SAT-assignments in random Boolean formulæ (Q2481970) (← links)
- A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (Q2581546) (← links)
- (Q2969775) (← links)
- (Q3154710) (← links)
- New Results on the Phase Transition for Random Quantified Boolean Formulas (Q3502691) (← links)
- (Q3576757) (← links)
- (Q3624065) (← links)
- An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction (Q4372990) (← links)
- Approximating the Satisfiability Threshold for Random k-XOR-formulas (Q4802163) (← links)
- Smooth and sharp thresholds for random<i>{k}</i>-XOR-CNF satisfiability (Q4825479) (← links)
- Smooth and sharp thresholds for random<i>{k}</i>-XOR-CNF satisfiability (Q4825480) (← links)
- (Q4847924) (← links)
- Exact location of the phase transition for random (1,2)-QSAT (Q5245725) (← links)
- Random 2-XORSAT at the Satisfiability Threshold (Q5458513) (← links)
- (Q5743397) (← links)