De Haan, Ronald

Recent Publications

Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy
De Haan, Ronald, Stefan Szeider
MDPI Algorithms, volume 12, number 9, pages 1-28, 2019.
bib DOI
On the parameterized complexity of finding small unsatisfiable subsets of CNF formulas and CSP instances
De Haan, Ronald, Kanj, Iyad, Stefan Szeider
ACM Transactions on Computational Logic, volume 18, number 3, pages Art. 21, 46, 2017.
bib DOI
Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation
De Haan, Ronald
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) (Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke Hüllermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1502-1510, 2016.
PDF bib
Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation
De Haan, Ronald
Proceedings of ComSoc 2016, the Sixth International Workshop on Computational Social Choice, 2016.
PDF bib
An Overview of Non-Uniform Parameterized Complexity
De Haan, Ronald
2015, Technical report TR15-130, Electronic Colloquium on Computational Complexity (ECCC).
PDF bib