Concepedia

Evgeny Dantsin

ED

11

Publications

531

Citations

11

H-Index

1983

Active since

Affiliations

Roosevelt University(Current)

University of Manchester

Steklov Mathematical Institute

Evgeny Dantsin is an author at Roosevelt University specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputer ScienceComputational ComplexityAutomated ReasoningFormal MethodsSatisfiabilityDiscrete MathematicsFormal VerificationQuery LanguagesQuery Optimization

Publications per year

1983–2006

11

Publications

11

A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search

Evgeny Dantsin, Andreas Goerdt, Edward Hirsch et al. · Theoretical Computer Science · 2002 · 227 citations

Local Search, Engineering, Local Search (Optimization) +9

Complexity and expressive power of logic programming

Evgeny Dantsin, Thomas Eiter, Georg Gottlob · 2002 · 134 citations

Applied Logic, Computational Logic, Expressive Power +11

MAX SAT approximation beyond the limits of polynomial-time approximation

Evgeny Dantsin, Michael Gavrilovich, Edward Hirsch et al. · Annals of Pure and Applied Logic · 2001 · 47 citations

Engineering, Max Sat Approximation, Sat Solving +5

Population Variance under Interval Uncertainty: A New Algorithm

Evgeny Dantsin, Alexander Wolpert, Gang Xiang · Reliable Computing · 2006 · 25 citations

Uncertainty Modeling, Uncertainty Quantification, Interval Analysis +4

Algorithms for SAT and Upper Bounds on Their Complexity

Evgeny Dantsin, Edward Hirsch, Sergei Ivanov et al. · 2001 · 21 citations

Rows per page

1–5 of 11