Andreas Pfandler

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 10

Top Topics

Parameterized Complexity

Fixed Parameter Tractable

Top Venues

Publications

Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes Peter Wallner
Proportional Belief Merging. AAAI (2020)
Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
Lower Bounds for QBFs of Bounded Treewidth. LICS (2020)
Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
TE-ETH: Lower Bounds for QBFs of Bounded Treewidth. CoRR (2019)
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Backdoors to planning. Artif. Intell. 269 (2019)
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
Parameterized Complexity of Asynchronous Border Minimization. Algorithmica 81 (1) (2019)
Gábor Erdélyi, Martin Lackner, Andreas Pfandler
Computational Aspects of Nearly Single-Peaked Electorates. J. Artif. Intell. Res. 58 (2017)
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Conformant planning as a case study of incremental QBF solving. Ann. Math. Artif. Intell. 80 (1) (2017)
Markus Endres, Andreas Pfandler
PPI17 - Vorwort. BTW (Workshops) (2017)
Adrian Haret, Andreas Pfandler, Stefan Woltran
Beyond IC Postulates: Classification Criteria for Merging Operators. ECAI (2016)
Markus Endres, Andreas Pfandler
Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der Informatik. GI-Jahrestagung (2016)
Ronald de Haan, Martin Kronegger, Andreas Pfandler
Fixed-Parameter Tractable Reductions to SAT for Planning. IJCAI (2015)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. 44 (2015)
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Variable-Deletion Backdoors to Planning. AAAI (2015)
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
On the Parameterized Complexity of Belief Revision. IJCAI (2015)
Günther Charwat, Andreas Pfandler
Democratix: A Declarative Approach to Winner Determination. ADT (2015)
Andreas Pfandler, Emanuel Sallinger
Distance-Bounded Consistent Query Answering. IJCAI (2015)
Andreas Pfandler, Reinhard Pichler, Stefan Woltran
The complexity of handling minimal solutions in logic-based abduction. J. Log. Comput. 25 (3) (2015)
Gábor Erdélyi, Martin Lackner, Andreas Pfandler
Manipulation of k-Approval in Nearly Single-Peaked Electorates. ADT (2015)
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
Parameterized Complexity of Asynchronous Border Minimization. CoRR (2015)
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
Parameterized Complexity of Asynchronous Border Minimization. TAMC (2015)
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
A Parameterized Complexity Analysis of Generalized CP-Nets. AAAI (2014)
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Conformant Planning as a Case Study of Incremental QBF Solving. CoRR (2014)
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Conformant Planning as a Case Study of Incremental QBF Solving. AISC (2014)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE (2014)
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Backdoors to Planning. AAAI (2014)
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
Backdoors to Abduction CoRR (2013)
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
Backdoors to Abduction. IJCAI (2013)
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
VCWC: A Versioning Competition Workflow Compiler. LPNMR (2013)
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
Parameterized Complexity of Optimal Planning: A Detailed Map. IJCAI (2013)
Gábor Erdélyi, Martin Lackner, Andreas Pfandler
Computational Aspects of Nearly Single-Peaked Electorates. AAAI (2013)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS (2013)
Leo Brueggeman, Michael R. Fellows, Rudolf Fleischer, Martin Lackner, Christian Komusiewicz, Yiannis Koutis, Andreas Pfandler, Frances A. Rosamond
Train Marshalling Is Fixed Parameter Tractable. FUN (2012)
Gábor Erdélyi, Martin Lackner, Andreas Pfandler
Computational Aspects of Nearly Single-Peaked Electorates CoRR (2012)
Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele
The Parameterized Complexity of Abduction. AAAI (2012)
Martin Lackner, Andreas Pfandler
Fixed-Parameter Algorithms for Finding Minimal Models. KR (2012)
Martin Lackner, Andreas Pfandler
Fixed-Parameter Algorithms for Closed World Reasoning. ECAI (2012)