A. Krokhin
发表
Libor Barto,
Andrei A. Krokhin,
Ross Willard,
2017,
The Constraint Satisfaction Problem.
R. Willard,
M. Valeriote,
A. Krokhin,
2015
.
P. Jeavons,
A. Bulatov,
A. Krokhin,
2005
.
V. Dalmau,
A. Krokhin,
B. Larose,
2004,
LICS 2004.
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2003,
CP.
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2005,
Discret. Appl. Math..
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2000,
ICALP.
V. Deineko,
P. Jonsson,
A. Krokhin,
2005
.
A. Krokhin,
B. Larose,
2008
.
Martin C. Cooper,
David A. Cohen,
P. Jeavons,
2005
.
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2003,
JACM.
P. Jonsson,
A. Krokhin,
2020
.
A. Krokhin,
1999
.
A. Krokhin,
Marcin Wrochna,
Stanislav Živný,
2020,
Electron. Colloquium Comput. Complex..
A. Krokhin,
Jakub Opršal,
2022,
ACM SIGLOG News.
Venkatesan Guruswami,
Dániel Marx,
Andrei A. Bulatov,
2015,
Dagstuhl Reports.
Martin C. Cooper,
Stanislav Zivny,
Andrei A. Krokhin,
2016,
SIAM Journal on Discrete Mathematics.
Peter Jonsson,
Andrei A. Krokhin,
Vladimir G. Deineko,
2006,
JACM.
Peter Jonsson,
Fredrik Kuivinen,
Andrei A. Krokhin,
2007,
Theor. Comput. Sci..
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2003,
IJCAI.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2001,
STOC '01.
Peter Jonsson,
Fredrik Kuivinen,
Andrei A. Krokhin,
2007,
CSR.
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2007,
J. Comput. Syst. Sci..
Peter Jonsson,
Andrei A. Krokhin,
Mikael Klasson,
2004,
SIAM J. Comput..
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2004,
STACS.
Andrei A. Krokhin,
A. S. Fraser,
V. Guruswami,
2018,
Dagstuhl Reports.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2005,
SIAM J. Comput..
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2004,
Theor. Comput. Sci..
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2004,
Artif. Intell..
Andrei A. Krokhin,
Víctor Dalmau,
Benoît Larose,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2003,
CSL.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2003,
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..
Andrei A. Krokhin,
Benoît Larose,
A. Krokhin,
2003,
STACS.
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2002,
Proceedings Ninth International Symposium on Temporal Representation and Reasoning.
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2001,
IJCAI.
Vladimir Kolmogorov,
Andrei A. Krokhin,
Michal Rolinek,
2015,
2015 IEEE 56th Annual Symposium on Foundations of Computer Science.
Venkatesan Guruswami,
Stanislav Zivny,
Martin Grohe,
2015,
Dagstuhl Reports.
Jakub Bulín,
Andrei Krokhin,
Jakub Opršal,
2018,
STOC.
Andrei A. Krokhin,
Víctor Dalmau,
V. Dalmau,
2013,
TOCT.
Andrei A. Bulatov,
Andrei A. Krokhin,
Benoît Larose,
2008,
Complexity of Constraints.
Andrei A. Krokhin,
Víctor Dalmau,
Benoît Larose,
2008,
Discret. Math..
Andrei A. Krokhin,
Benoît Larose,
A. Krokhin,
2008,
SIAM J. Discret. Math..
P. Jeavons,
A. Bulatov,
A. Krokhin,
2014
.
Andrei A. Krokhin,
Víctor Dalmau,
Rajsekar Manokaran,
2016,
J. Comput. Syst. Sci..
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2004,
SIAM J. Discret. Math..
Peter Jeavons,
Stanislav Zivny,
Andrei A. Krokhin,
2014,
Bull. EATCS.
Andrei A. Krokhin,
Víctor Dalmau,
Rajsekar Manokaran,
2015,
SODA.
Anna Huber,
Andrei A. Krokhin,
Robert Powell,
2013,
SIAM J. Comput..
Stanislav Zivny,
Andrei A. Krokhin,
A. Krokhin,
2017
.
Anna Huber,
Andrei A. Krokhin,
A. Krokhin,
2013,
SIAM J. Discret. Math..
A. Krokhin,
Anna Huber,
2014
.
Konstantin Makarychev,
Yury Makarychev,
Marcin Kozik,
2016,
SODA.
Peter Jeavons,
Andrei A. Bulatov,
Hubie Chen,
2009,
Inf. Comput..
Gernot Salzer,
Nadia Creignou,
Andrei A. Krokhin,
2008,
Theory of Computing Systems.
A. Krokhin,
M. Kozik,
Stanislav Živný,
2023,
ArXiv.
Andrei A. Krokhin,
Jakub Oprsal,
A. Krokhin,
2019,
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS).
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2006,
Artif. Intell..