Ronald De Haan

Recent Publications

On Existential MSO and Its Relation to ETH
Robert Ganian, Ronald De Haan, Iyad Kanj, Stefan Szeider
ACM Trans. Comput. Theory, volume 12, number 4, pages 22:1-22:32, 2020.
PDF bib Project Project Project DOI
Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures
Ronald De Haan, Marija Slavkovik
Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM.
PDF bib
Complexity Results for Manipulation, Bribery and Control of the Kemeny Judgment Aggregation Procedure
Ronald De Haan
Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM.
PDF bib
On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances
Ronald De Haan, Iyad Kanj, Stefan Szeider
2017, Technical report AC-TR-17-009, Algorithms and Complexity Group, TU Wien.
PDF bib
Parameterized Complexity Classes Beyond Para-NP
Ronald De Haan, Stefan Szeider
Journal of Computer and System Sciences, volume 87, number AC-TR-17-004, pages 16-57, 2017.
PDF bib DOI