Concepedia

Konstantin Korovin

KK

Statistics

Publications

6

Citations

246

H-Index

6

Active since

2002

Affiliations

University of Manchester(Current)

Konstantin Korovin is an author at University of Manchester specializing in formal methods, proof complexity, and engineering.

Top concepts

EngineeringFormal MethodsProof ComplexityAutomated ReasoningVerificationSatisfiabilityComputer ScienceLogic ProgrammingFormal VerificationDiscrete Mathematics

Publications per year

2002–2022

6

Publications

6

New directions in instantiation-based theorem proving

Harald Ganzinger, Konstantin Korovin · 2003 · 98 citations

Engineering, New Directions, Automated Reasoning +14

Orienting rewrite rules with the Knuth–Bendix order

Konstantin Korovin · Information and Computation · 2003 · 44 citations

Order Theory, Rewriting System, Rewrite Rules +1

Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA

Andrew Currin, Konstantin Korovin, Maria Ababi et al. · Journal of The Royal Society Interface · 2017 · 39 citations · Full text

Conflict Resolution

Konstantin Korovin, Nestan Tsiskaridze · Lecture notes in computer science · 2009 · 30 citations

A decision procedure for the existential theory of term algebras with the Knuth-Bendix ordering

Konstantin Korovin · 2002 · 24 citations

Algebraic Logic, Decision Procedure, Abstract Algebra +15

1–5 of 6