( en | de | ru )

 

Disambiguierung von "Hirsch, Edward A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search.

, , , , , , , und . Theor. Comput. Sci., 289 (1): 69-83 (2002)

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.

Edward Zahn

Edward Hartstein

Edward Dotzel

Edward Birkenbeil

Edward Haub

 

Weitere Publikationen von Autoren mit dem selben Namen

Exponential Lower Bound for Static Semi-algebraic Proofs., , und . ICALP, Volume 2380 von Lecture Notes in Computer Science, Seite 257-268. Springer, (2002)Preface., , und . Theory Comput. Syst., 61 (2): 261-262 (2017)Preface., und . Theory Comput. Syst., 56 (4): 591-592 (2015)An Infinitely-Often One-Way Function Based on an Average-Case Assumption., und . WoLLIC, Volume 5110 von Lecture Notes in Computer Science, Seite 208-217. Springer, (2008)Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 605-609. Springer, (2001)Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?, , , und . CoRR, (2019)Several notes on the power of Gomory-Chvátal cuts., und . Ann. Pure Appl. Log., 141 (3): 429-436 (2006)On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity., und . STACS, Volume 5 von LIPIcs, Seite 453-464. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)UnitWalk: A new SAT solver that uses local search guided by unit clause elimination., und . Ann. Math. Artif. Intell., 43 (1): 91-111 (2005)The SAT2002 competition., , und . Ann. Math. Artif. Intell., 43 (1): 307-342 (2005)