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)