#### Filter Results:

- Full text PDF available (31)

#### Publication Year

2010

2017

- This year (6)
- Last 5 years (34)
- Last 10 years (35)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Ronald de Haan, Stefan Szeider
- SAT
- 2014

Today's SAT solvers have an enormous importance and impact in many practical settings. They are used as efficient back-end to solve many NP-complete problems. However, many computational problems are located at the second level of the Polynomial Hierarchy or even higher, and hence polynomial-time transformations to SAT are not possible, unless the hierarchy… (More)

- Ronald de Haan, Stefan Szeider
- Electronic Colloquium on Computational Complexity
- 2014

We present a list of parameterized problems together with a complexity classification of whether they allow a fixed-parameter tractable reduction to SAT or not. These parameterized problems are based on problems whose complexity lies at the second level of the Polynomial Hierarchy or higher. The list will be updated as necessary.

- Ulrich Endriss, Ronald de Haan, Stefan Szeider
- AAMAS
- 2015

Many problems arising in computational social choice are of high computational complexity, and some are located at higher levels of the Polynomial Hierarchy. We argue that a parameterized complexity analysis provides valuable insight into the factors contributing to the complexity of these problems , and can lead to practically useful algorithms. As a case… (More)

- Ronald de Haan, Stefan Szeider
- KR
- 2014

Today's propositional satisfiability (SAT) solvers are extremely powerful and can be used as an efficient back-end for solving NP-complete problems. However, many fundamental problems in knowledge representation and reasoning are located at the second level of the Polynomial Hierarchy or even higher, and hence polynomial-time transformations to SAT are not… (More)

We review several different languages for collective decision making problems, in which agents express their judgments, opinions, or beliefs over elements of a logically structured domain. Several such languages have been proposed in the literature to compactly represent the questions on which the agents are asked to give their views. In particular, the… (More)

- Ronald de Haan, Anna Roubícková, Stefan Szeider
- AAAI
- 2013

Planning is a notoriously difficult computational problem of high worst-case complexity. Researchers have been investing significant efforts to develop heuristics or restrictions to make planning practically feasible. Case-based planning is a heuris-tic approach where one tries to reuse previous experience when solving similar problems in order to avoid… (More)

- Ronald de Haan, Iyad A. Kanj, Stefan Szeider
- J. Artif. Intell. Res.
- 2013

Not all NP-complete problems share the same practical hardness with respect to exact computation. Whereas some NP-complete problems are amenable to efficient computational methods, others are yet to show any such sign. It becomes a major challenge to develop a theoretical framework that is more fine-grained than the theory of NP-completeness, and that can… (More)

- Ronald de Haan, Stefan Szeider
- SOFSEM
- 2015

- Ronald de Haan
- ECAI
- 2016

We investigate the parameterized complexity of computing an outcome of the Ke-meny rule in judgment aggregation, providing the first parameterized complexity results for this problem for any judgment aggregation procedure. As parameters, we consider (i) the number of issues, (ii) the maximum size of formulas used to represent issues, (iii) the size of the… (More)

- Ulrich Endriss, Ronald de Haan
- AAMAS
- 2015

Judgment aggregation is a collective decision making framework where the opinions of a group of agents is combined into a collective opinion. This can be done using many different judgment aggregation procedures. We study the computational complexity of computing the group opinion for several of the most prominent judgment aggregation procedures. In… (More)