Valentin Krasotin

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Clause Learning

Interactive Video

Conflict Detection

Top Venues

Publications

Philipp Czerner, Javier Esparza, Valentin Krasotin
A Resolution-Based Interactive Proof System for UNSAT. CoRR (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CONCUR (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin
A Resolution-Based Interactive Proof System for UNSAT. FoSSaCS (2) (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CoRR (2024)