Evgeny Dantsin - Concepedia

Author

Evgeny Dantsin

Roosevelt University ORCID

Also Known As

Dantsin Evgeny, Dantsin, Evgeny, E. Dantsin, E. Ya. Dantsin, EVGENY DANTSIN, Eugene Dantsin, Evgeny Dantsin

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Roosevelt University University of Manchester Steklov Mathematical Institute

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	474
2	Computer Science	7	7	427
3	Management	1	1	11
4	Computer Engineering	1	1	12
5	Data Science	1	1	11

Evgeny Dantsin

Publications

531

Citations

H-Index

Page 1

	Year	Citations
A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search Evgeny Dantsin, Andreas Goerdt, Edward Hirsch, Theoretical Computer Science Local SearchEngineeringLocal Search (Optimization)Data MiningAlgorithm Design	2002	227
Complexity and expressive power of logic programming Evgeny Dantsin, Thomas Eiter, Georg Gottlob Applied LogicComputational LogicExpressive PowerEngineeringAutomated Reasoning	2002	134
MAX SAT approximation beyond the limits of polynomial-time approximation Evgeny Dantsin, Michael Gavrilovich, Edward Hirsch, Annals of Pure and Applied Logic EngineeringMax Sat ApproximationSat SolvingSatisfiabilityComputational Complexity	2001	47
Population Variance under Interval Uncertainty: A New Algorithm Evgeny Dantsin, Alexander Wolpert, Gang Xiang Reliable Computing Uncertainty ModelingUncertainty QuantificationInterval AnalysisInterval ComputationStatistical Inference	2006	25
Algorithms for SAT and Upper Bounds on Their Complexity Evgeny Dantsin, Edward Hirsch, Sergei Ivanov,	2001	21
Two systems for proving tautologies, based on the split method Evgeny Dantsin Journal of Mathematical Sciences EngineeringAutomated ReasoningPropositional LogicVerificationFormal Methods	1983	19
Algorithms for Sat and Upper Bounds on Their Complexity Maxim Vsemirnov, Edward Hirsch, Evgeny Dantsin, Journal of Mathematical Sciences EngineeringAutomated ReasoningSat SolvingComputational ComplexityTime Complexity	2003	13
On quantum versions of record-breaking algorithms for SAT Evgeny Dantsin, Alexander Wolpert ACM SIGACT News Quantum ScienceEngineeringQuantum ComputingQuantum VersionsQuadratic Speed	2005	12
Expressive power and data complexity of nonrecursive query languages for lists and trees (extended abstract) Evgeny Dantsin EngineeringComputational ComplexityHigher-order LogicSemantic WebFormal Verification	2000	11
Expressive Power and Data Complexity of Query Languages for Trees and Lists Evgeny Dantsin Research Explorer (The University of Manchester) Tree LanguageExpressive PowerEngineeringData ScienceData Complexity	2000	11

Page 1