Hervé Daudé

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
The MAX-CUT of sparse random graphs	2019-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q2969775	2017-03-23	Paper
Exact location of the phase transition for random \((1,2)\)-QSAT	2015-04-15	Paper
Sensitivity of Boolean formulas	2013-03-19	Paper
Expected number of locally maximal solutions for random Boolean CSPs	2010-08-02	Paper
The SAT-UNSAT transition for random constraint satisfaction problems	2009-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q3624065	2009-04-28	Paper
New Results on the Phase Transition for Random Quantified Boolean Formulas	2008-05-27	Paper
Pairs of SAT-assignments in random Boolean formulæ	2008-04-15	Paper
Random 2-XORSAT at the Satisfiability Threshold	2008-04-15	Paper
A sharp threshold for the renameable-Horn and the \(q\)-Horn properties	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3154710	2005-01-14	Paper
Smooth and sharp thresholds for random{k}-XOR-CNF satisfiability	2004-10-28	Paper
Smooth and sharp thresholds for random{k}-XOR-CNF satisfiability	2004-10-28	Paper
Combinatorial sharpness criterion and phase transition classification for random CSPs	2004-08-06	Paper
Generalized satisfiability problems: Minimal elements and phase transitions.	2003-08-17	Paper
Approximating the Satisfiability Threshold for Random k-XOR-formulas	2003-01-01	Paper
Satisfiability threshold for random XOR-CNF formulas	2000-01-17	Paper
An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction	1997-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4847924	1996-07-16	Paper
An upper bound on the average number of iterations of the LLL algorithm	1994-03-03	Paper

Research outcomes over time

This page was built for person: Hervé Daudé