PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Daudé, Hervé"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pairs of SAT Assignment in Random Boolean Formulae

, , , und . CoRR, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Daudé, Hervé
Eine Person hinzufügen mit dem Namen Daudé, Hervé
 

Weitere Publikationen von Autoren mit dem selben Namen

Smooth and sharp thresholds for random k-XOR-CNF satisfiability., und . ITA, 37 (2): 127-147 (2003)Exact location of the phase transition for random (1, 2)-QSAT., , , und . RAIRO - Theor. Inf. and Applic., 49 (1): 23-45 (2015)Pairs of SAT-assignments in random Boolean formulæ., , , und . Theor. Comput. Sci., 393 (1-3): 260-279 (2008)Phase Transition for Random Quantified XOR-Formulas, , und . CoRR, (2011)Random 2-XORSAT at the Satisfiability Threshold., und . LATIN, Volume 4957 von Lecture Notes in Computer Science, Seite 12-23. Springer, (2008)Sensitivity of Boolean formulas., und . Eur. J. Comb., 34 (5): 793-805 (2013)An Upper Bound on the Average Number of Iterations of the LLL Algorithm., und . Theor. Comput. Sci., 123 (1): 95-115 (1994)The MAX-CUT of sparse random graphs., , , und . SODA, Seite 265-271. SIAM, (2012)New Results on the Phase Transition for Random Quantified Boolean Formulas., , , und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 34-47. Springer, (2008)Approximating The Satisfiability Threshold For Random K-Xor-Formulas., , und . Combinatorics, Probability & Computing, 12 (2): 113-126 (2003)