( en | de | ru )

 

Disambiguierung von "Dantsin, Evgeny"

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.

Evgeny Pilipenko

Evgeny Epelbaum

Evgeny Gutyrchik

Evgeny Minin

Evgeny Volkov

 

Weitere Publikationen von Autoren mit dem selben Namen

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length., und . J. Satisf. Boolean Model. Comput., 1 (1): 49-60 (2006)Worst-Case Upper Bounds., und . Handbook of Satisfiability, Volume 336 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees., und . FoSSaCS, Volume 1578 von Lecture Notes in Computer Science, Seite 180-196. Springer, (1999)On quantum versions of record-breaking algorithms for SAT., , und . SIGACT News, 36 (4): 103-108 (2005)Probabilistic Logic Programs and their Semantics.. RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 152-164. Springer, (1991)An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF., und . J. Satisf. Boolean Model. Comput., 14 (1): 1-15 (2023)A Robust Dna Computation Model That Captures Pspace., und . Int. J. Found. Comput. Sci., 14 (5): 933- (2003)Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms, , und . Electron. Colloquium Comput. Complex., (2005)Algorithms for SAT based on search in Hamming balls, , und . Electron. Colloquium Comput. Complex., (2003)Derandomization of Schuler's Algorithm for SAT., und . SAT (Selected Papers, Volume 3542 von Lecture Notes in Computer Science, Seite 80-88. Springer, (2004)