Konstantin Korovin
ORCID:0000-0002-0740-621X
发表论文 92 篇 · 总被引 1004 次 · h-index 17
代表论文
- Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA (2017 · Journal of The Royal Society Interface · 被引 40)
- Implementing Superposition in iProver (System Description) (2020 · Lecture notes in computer science · 被引 25)
- ESBMC v7.4: Harnessing the Power of Intervals (2024 · Lecture notes in computer science · 被引 19)
- Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving (2021 · Lecture notes in computer science · 被引 13)
- A CDCL-Style Calculus for Solving Non-linear Constraints (2019 · Research Explorer (The University of Manchester) · 被引 12)
- ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC (2022 · 被引 11)