Stanislav Zivny

Recent Publications

Backdoors into heterogeneous classes of SAT and CSP
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny
Journal of Computer and System Sciences, volume 85, pages 38-56, 2017.
PDF bib DOI
Backdoors into Heterogeneous Classes of SAT and CSP
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27-31, 2014, Qu'ebec City, Qu'ebec, Canada. (Carla E. Brodley and Peter Stone), pages 2652-2658, 2014, AAAI Press.
bib