Andrei A. Krokhin
发表
Andrei A. Krokhin,
Jakub Oprsal,
A. Krokhin,
2019,
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS).
Stanislav Zivny,
Andrei A. Krokhin,
A. Krokhin,
2017
.
Peter Jeavons,
Stanislav Zivny,
Andrei A. Krokhin,
2014,
Bull. EATCS.
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2001,
IJCAI.
Andrei A. Krokhin,
Víctor Dalmau,
Rajsekar Manokaran,
2015,
SODA.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2003,
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..
Anna Huber,
Andrei A. Krokhin,
Robert Powell,
2014,
SIAM J. Comput..
Venkatesan Guruswami,
Dániel Marx,
Andrei A. Bulatov,
2015,
Dagstuhl Reports.
Dániel Marx,
Johan Håstad,
Andrei A. Krokhin,
2012,
Dagstuhl Reports.
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2003,
JACM.
Vladimir Kolmogorov,
Andrei A. Krokhin,
Michal Rolinek,
2015,
2015 IEEE 56th Annual Symposium on Foundations of Computer Science.
Andrei A. Krokhin,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Peter Jonsson,
Fredrik Kuivinen,
Andrei A. Krokhin,
2007,
Theor. Comput. Sci..
Andrei A. Krokhin,
Víctor Dalmau,
V. Dalmau,
2013,
TOCT.
Andrei A. Krokhin,
Robert Powell,
2015,
ArXiv.
Andrei A. Krokhin,
Benoît Larose,
2005,
CP.
Peter Jonsson,
Andrei A. Krokhin,
Mikael Klasson,
2004,
SIAM J. Comput..
Andrei A. Krokhin,
Víctor Dalmau,
Catarina Carvalho,
2011,
J. Log. Comput..
Pascal Tesson,
Andrei A. Krokhin,
Benoît Larose,
2011,
Theory of Computing Systems.
Peter Jonsson,
Fredrik Kuivinen,
Andrei A. Krokhin,
2007,
CSR.
Libor Barto,
Andrei A. Krokhin,
Ross Willard,
2017,
The Constraint Satisfaction Problem.
Andrei A. Krokhin,
Víctor Dalmau,
Benoît Larose,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2002,
Proceedings Ninth International Symposium on Temporal Representation and Reasoning.
Peter Jonsson,
Andrei A. Krokhin,
2008,
J. Comput. Syst. Sci..
Andrei A. Krokhin,
Víctor Dalmau,
2008,
Eur. J. Comb..
Andrei A. Krokhin,
Benoît Larose,
A. Krokhin,
2008,
SIAM J. Discret. Math..
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2006,
Artif. Intell..
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2004,
STACS.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2003,
CSL.
Andrei A. Krokhin,
Benoît Larose,
A. Krokhin,
2003,
STACS.
Andrei A. Krokhin,
Catarina Carvalho,
2016,
Int. J. Algebra Comput..
Anna Huber,
Andrei A. Krokhin,
A. Krokhin,
2013,
SIAM J. Discret. Math..
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2005,
Discret. Appl. Math..
Andrei A. Krokhin,
Víctor Dalmau,
Catarina Carvalho,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Gernot Salzer,
Nadia Creignou,
Andrei A. Krokhin,
2008,
Theory of Computing Systems.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2000,
ICALP.
Dániel Marx,
Andrei A. Krokhin,
2012,
TALG.
Andrei A. Bulatov,
Andrei A. Krokhin,
Benoît Larose,
2008,
Complexity of Constraints.
Dániel Marx,
Andrei A. Krokhin,
2008,
ICALP.
Martin C. Cooper,
Stanislav Zivny,
Andrei A. Krokhin,
2016,
SIAM Journal on Discrete Mathematics.
Phokion G. Kolaitis,
Andrei A. Bulatov,
Martin Grohe,
2009,
The Constraint Satisfaction Problem: Complexity and Approximability.
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2002,
STACS.
Andrei A. Krokhin,
Ivo G. Rosenberg,
2006,
J. Autom. Lang. Comb..
Anna Huber,
Andrei A. Krokhin,
Robert Powell,
2013,
SIAM J. Comput..
Peter Jeavons,
Peter Jonsson,
Andrei A. Krokhin,
2004,
SIAM J. Discret. Math..
Andrei A. Krokhin,
Víctor Dalmau,
Benoît Larose,
2004,
LICS.
Peter Jeavons,
Andrei A. Bulatov,
Hubie Chen,
2009,
Inf. Comput..
Andrei A. Krokhin,
Víctor Dalmau,
Rajsekar Manokaran,
2016,
J. Comput. Syst. Sci..
Andrei A. Krokhin,
2010,
CSL.
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2004,
Artif. Intell..
Andrei A. Krokhin,
Víctor Dalmau,
Catarina Carvalho,
2010,
Theor. Comput. Sci..
Stanislav Zivny,
Marcin Wrochna,
Andrei A. Krokhin,
2020,
Electron. Colloquium Comput. Complex..
Pascal Tesson,
Andrei A. Krokhin,
Benoît Larose,
2010,
STACS.
Konstantin Makarychev,
Yury Makarychev,
Marcin Kozik,
2016,
SODA.
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2004,
Theor. Comput. Sci..
Konstantin Makarychev,
Yury Makarychev,
Marcin Kozik,
2019,
SIAM J. Comput..
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2005,
SIAM J. Comput..
Andrei A. Krokhin,
Víctor Dalmau,
Benoît Larose,
2008,
Discret. Math..
Peter Jonsson,
Andrei A. Krokhin,
P. Jonsson,
2007,
J. Comput. Syst. Sci..
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2003,
IJCAI.
Martin C. Cooper,
Peter Jeavons,
Andrei A. Krokhin,
2003,
CP.
Andrei A. Krokhin,
2001,
Order.
Peter Jonsson,
Andrei A. Krokhin,
Vladimir G. Deineko,
2006,
JACM.
Peter Jeavons,
Andrei A. Bulatov,
Andrei A. Krokhin,
2001,
STOC '01.
Gustav Nordh,
Pavol Hell,
Peter Jonsson,
2010,
SIAM J. Discret. Math..
Andrei A. Krokhin,
A. S. Fraser,
V. Guruswami,
2018,
Dagstuhl Reports.
Phokion G. Kolaitis,
Andrei A. Bulatov,
Martin Grohe,
2009,
The Constraint Satisfaction Problem: Complexity and Approximability.