Hervé Daudé

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5743397	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
https://portal.mardi4nfdi.de/entity/Q3576757	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hervé Daudé