Stanislav Zivny
发表
Kazuo Murota,
Hiroshi Hirai,
Yuni Iwamasa,
2018,
STACS.
Martin C. Cooper,
Stanislav Zivny,
Clément Carbonnel,
2017,
ArXiv.
Stanislav Zivny,
Gregor Matl,
2020,
Algorithmica.
Stanislav Zivny,
Peter Fulla,
Stanislav Živný,
2017,
MFCS.
Andrei A. Bulatov,
Stanislav Zivny,
2020,
ACM Trans. Comput. Theory.
Martin C. Cooper,
Stanislav Zivny,
Stanislav Živný,
2017,
The Constraint Satisfaction Problem.
Stanislav Zivny,
Marcin Wrochna,
Miguel Romero,
2019,
SODA.
Stanislav Zivny,
David A. Cohen,
Páidí Creed,
2011,
MFCS.
Stanislav Zivny,
Andrei A. Krokhin,
A. Krokhin,
2017
.
Peter Jeavons,
Stanislav Zivny,
Andrei A. Krokhin,
2014,
Bull. EATCS.
Stanislav Zivny,
Peter Fulla,
2016,
MFCS.
Stanislav Zivny,
Serdar Kadioglu,
Meinolf Sellmann,
2009,
CP.
Stanislav Zivny,
Stanislav Živný,
2009,
Inf. Process. Lett..
Martin C. Cooper,
Stanislav Zivny,
Stanislav Živný,
2012,
J. Artif. Intell. Res..
Stanislav Zivny,
Peter Fulla,
2016,
TOCT.
Vladimir Kolmogorov,
Stanislav Zivny,
V. Kolmogorov,
2011,
JACM.
Vladimir Kolmogorov,
Stanislav Zivny,
Johan Thapper,
2013,
SIAM J. Comput..
Venkatesan Guruswami,
Stanislav Zivny,
Martin Grohe,
2015,
Dagstuhl Reports.
Leslie Ann Goldberg,
Mark Jerrum,
Andrei A. Bulatov,
2017,
Theor. Comput. Sci..
Martin C. Cooper,
Stanislav Zivny,
2010,
CP.
Venkatesan Guruswami,
Stanislav Zivny,
Marcin Wrochna,
2020,
Electron. Colloquium Comput. Complex..
Stanislav Zivny,
Bruno Zanuttini,
2009,
Inf. Process. Lett..
Martin C. Cooper,
Stanislav Zivny,
David A. Cohen,
2015,
J. Comput. Syst. Sci..
Martin C. Cooper,
Stanislav Zivny,
David A. Cohen,
2019,
Inf. Comput..
Martin C. Cooper,
Stanislav Zivny,
2011,
CP.
Martin C. Cooper,
Stanislav Zivny,
2011,
CP.
Stanislav Zivny,
Justin Ward,
Justin Ward,
2014,
SODA.
Stanislav Zivny,
Peter Jeavons,
Andrius Vaicenavicius,
2016,
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL).
Stanislav Zivny,
David A. Cohen,
Peter Jeavons,
2009,
MFCS.
Stanislav Zivny,
Páidí Creed,
Páidí Creed,
2011,
CP.
Stanislav Zivny,
Stanislav Živný,
2012,
Cognitive Technologies.
Martin C. Cooper,
Stanislav Zivny,
Stanislav Živný,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stanislav Zivny,
Peter Jeavons,
P. Jeavons,
2008,
Constraints.
Stanislav Zivny,
Matti Järvisalo,
Arie Matsliah,
2012,
CP.
Martin C. Cooper,
Stanislav Zivny,
David A. Cohen,
2015,
AAAI.
Martin C. Cooper,
Stanislav Zivny,
Stanislav Živný,
2010,
Artif. Intell..
Stanislav Zivny,
Johan Thapper,
Stanislav Živný,
2016,
SIAM J. Comput..
Peter Jeavons,
Stanislav Zivny,
David A. Cohen,
2007,
CP.
Stanislav Zivny,
Stanislav Živný,
2009
.
Stanislav Zivny,
Silvia Butti,
2019,
STACS.
Stanislav Zivny,
Peter Jeavons,
2009,
CP.
Martin C. Cooper,
Stanislav Zivny,
Andrei A. Krokhin,
2016,
SIAM Journal on Discrete Mathematics.
Stanislav Zivny,
Peter Fulla,
2015,
ICALP.
Stanislav Zivny,
Peter Fulla,
2017,
J. Comput. Syst. Sci..
Stanislav Zivny,
Miguel Romero,
Clément Carbonnel,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Peter Jeavons,
Stanislav Zivny,
2008,
CP.
Stanislav Zivny,
Marcin Wrochna,
Marcin Wrochna,
2019,
SODA.
Leslie Ann Goldberg,
Stanislav Zivny,
Jacob Focke,
2017,
SODA.
Kazuo Murota,
Hiroshi Hirai,
Yuni Iwamasa,
2019,
ACM Trans. Algorithms.
Martin C. Cooper,
Stanislav Zivny,
David A. Cohen,
2012,
SIAM J. Comput..
Leslie Ann Goldberg,
Stanislav Zivny,
Marc Roth,
2020,
ArXiv.
Stanislav Zivny,
Marcin Wrochna,
Andrei A. Krokhin,
2020,
Electron. Colloquium Comput. Complex..
Stanislav Zivny,
Caterina Viola,
2020,
MFCS.
Kazuo Murota,
Yuni Iwamasa,
Stanislav Zivny,
2018,
Discret. Optim..
Leslie Ann Goldberg,
Stanislav Zivny,
Jacob Focke,
2019,
ACM Trans. Algorithms.
Vladimir Kolmogorov,
Stanislav Zivny,
V. Kolmogorov,
2010,
ArXiv.
Stanislav Zivny,
David A. Cohen,
Peter Jeavons,
2008,
Discret. Appl. Math..
Evgenij Thorstensen,
Stanislav Zivny,
David A. Cohen,
2013,
CP.
Stanislav Zivny,
Miguel Romero,
Clément Carbonnel,
2017,
2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).
Leslie Ann Goldberg,
Stanislav Zivny,
Jacob Focke,
2018,
SODA.
Stanislav Zivny,
David A. Cohen,
Peter Jeavons,
2008,
Theor. Comput. Sci..
Stanislav Zivny,
Johan Thapper,
Stanislav Živný,
2012,
2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.
Stanislav Zivny,
Johan Thapper,
2016,
J. ACM.
Leslie Ann Goldberg,
Stanislav Zivny,
Colin McQuillan,
2020,
J. Comput. Syst. Sci..
Martin C. Cooper,
Stanislav Zivny,
Guillaume Escamocher,
2012,
CP.
Stefan Szeider,
Stanislav Zivny,
Serge Gaspers,
2017,
J. Comput. Syst. Sci..
Martin C. Cooper,
Stanislav Zivny,
Clément Carbonnel,
2018,
Algorithmica.
Martin C. Cooper,
Stanislav Zivny,
David A. Cohen,
2015,
IJCAI.
Martin C. Cooper,
Stanislav Zivny,
David A. Cohen,
2013,
IJCAI.
Stanislav Zivny,
Justin Ward,
Justin Ward,
2014,
ACM Trans. Algorithms.
Vladimir Kolmogorov,
Stanislav Zivny,
2010,
ArXiv.
Leslie Ann Goldberg,
Stanislav Zivny,
Jacob Focke,
2020,
ACM Trans. Comput. Theory.
Stanislav Zivny,
Johan Thapper,
2015,
ICALP.
Stanislav Zivny,
Alex Brandts,
Marcin Wrochna,
2020,
ICALP.
Stanislav Zivny,
Johan Thapper,
Stanislav Živný,
2016,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stanislav Zivny,
Peter Jeavons,
P. Jeavons,
2014,
Tractability.
Stanislav Zivny,
Gregor Matl,
2019,
STACS.
Stanislav Zivny,
Johan Thapper,
Stanislav Živný,
2013,
STOC '13.
Leslie Ann Goldberg,
Stanislav Zivny,
Marc Roth,
2021,
SODA.
Barnaby Martin,
Stanislav Zivny,
Siani Smith,
2021,
ESA.
Stanislav Zivny,
Marcin Wrochna,
Miguel Romero,
2019,
1911.03204.
Stanislav Zivny,
Andrei Krokhin,
2017
.