Konstantin Korovin
发表
V. Rybakov,
S. Escobar,
Konstantin Korovin,
2012
.
T. Heskes,
J. Urban,
Miroslav Olvs'ak,
2022,
2210.03590.
Heskes,
J. Urban,
Konstantin Korovin,
2022
.
Konstantin Korovin,
Zurab Khasidashvili,
Z. Khasidashvili,
2016,
SAT.
Nestan Tsiskaridze,
Konstantin Korovin,
Andrei Voronkov,
2009,
CP.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2002,
TOCL.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Konstantin Korovin,
Edvard K. Holden,
Konstantin Korovin,
2021,
CICM.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2003,
CADE.
Harald Ganzinger,
Konstantin Korovin,
H. Ganzinger,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Edvard K. Holden,
Konstantin Korovin,
2023,
ArXiv.
Konstantin Korovin,
Andr'e Duarte,
Konstantin Korovin,
2021,
TABLEAUX.
Konstantin Korovin,
André Duarte,
Konstantin Korovin,
2020,
IJCAR.
Konstantin Korovin,
Christoph Sticksel,
C. Sticksel,
2010,
LPAR.
Konstantin Korovin,
Christoph Sticksel,
C. Sticksel,
2010,
IJCAR.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2007,
CSL.
Harald Ganzinger,
Konstantin Korovin,
H. Ganzinger,
2006,
LPAR.
Harald Ganzinger,
Konstantin Korovin,
H. Ganzinger,
2004,
CSL.
L. Kovács,
A. Bhayat,
Konstantin Korovin,
2023,
EPiC Series in Computing.
Konstantin Korovin,
Konstantin Korovin,
2013,
Programming Logics.
Andrew Currin,
Philip J. Day,
Douglas B. Kell,
2016,
Journal of The Royal Society Interface.
Z. Khasidashvili,
F. Brauße,
Konstantin Korovin,
2022,
IJCAI.
Konstantin Korovin,
Konstantin Korovin,
2008,
IJCAR.
Andrei Voronkov,
Laura Kovács,
Ioan Dragan,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2011,
CADE.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2003,
Inf. Comput..
Thomas Sturm,
Konstantin Korovin,
Marek Kosta,
2014,
SMT.
Konstantin Korovin,
Margarita V. Korovina,
Franz Brausse,
2021,
CADE.
Andrei Voronkov,
Konstantin Korovin,
Zurab Khasidashvili,
2012,
IJCAR.
Julio César López-Hernández,
Konstantin Korovin,
Konstantin Korovin,
2018,
IJCAR.
R. King,
Ievgeniia A. Tiukova,
Konstantin Korovin,
2023,
DS.
Giles Reger,
L. Cordeiro,
F. Brauße,
2022,
ISSTA.
Nikolaj Bjørner,
Arie Gurfinkel,
Ori Lahav,
2013,
LPAR.