Reinhard Pichler
6 papers · 2013–2020 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π§ Keyword Pioneer π Cross-Pollinator (5) π£ Hot Topic Early Bird π Interdisciplinary Bridge π Academic Marathon (7)
π
Conference Pioneer
β
The Questioner
Conferences
IJCAI (6)
Top co-authors
Keywords
constraint satisfaction problem
(2)
parallel algorithm
(1)
graph algorithm
(1)
voting rule
(1)
conjunctive query
(1)
argumentation semantics
(1)
hypertree decomposition
(1)
decomposition method
(1)
fixed-parameter tractability
(1)
hypertree width
(1)
massively parallel computation
(1)
abstract argumentation
(1)
structural restriction
(1)
computational complexity
(1)
extension enumeration
(1)
Papers
Fast and Parallel Decomposition of Constraint Satisfaction Problems
IJCAI 2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
IJCAI 2020
Computing the Schulze Method for Large-Scale Preference Data Sets
IJCAI 2018
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks
IJCAI 2017
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
IJCAI 2013
Parameterized Complexity of Optimal Planning: A Detailed Map
IJCAI 2013