Name Card

Full name Familienname, Vorname
Pfandler, Andreas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 46 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
2Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. Proportional Belief MergingKonferenzbeitrag Inproceedings 2020
3Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationArtikel Article 2019
4Kronegger, Martin ; Ordyniak, Sebastian ; Pfandler, Andreas Backdoors to planningArtikel Article 2019
5Pfandler, Andreas ; Endres, Markus Workshop Präferenzen und Personalisierung in der Informatik (PPI17)Konferenzbeitrag Inproceedings2017
6Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
7Endres, Markus ; Pfandler, Andreas Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der InformatikKonferenzbeitrag Inproceedings 2016
8Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
9Haret, Adrian ; Pfandler, Andreas ; Woltran, Stefan Beyond IC Postulates: Classification Criteria for Merging OperatorsKonferenzbeitrag Inproceedings 2016
10Pfandler, Andreas ; Sallinger, Emanuel Distance-Bounded Consistent Query AnsweringKonferenzbeitrag Inproceedings 2015
11de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
12Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
13Erdélyi, Gábor ; Lackner, Martin ; Pfandler, Andreas Manipulation of k-Approval in Nearly Single-Peaked ElectoratesKonferenzbeitrag Inproceedings 2015
14Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
15Charwat, Günther ; Pfandler, Andreas Democratix: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2015
16Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationKonferenzbeitrag Inproceedings 2015
17Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
18Pfandler, A. ; Pichler, R. ; Woltran, S. The complexity of handling minimal solutions in logic-based abductionArtikel Article2015
19Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
20Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-based Debugging Tool for State Machines and Sequence DiagramsPräsentation Presentation2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Endres, Markus ; Mattei, Nicholas ; Pfandler, Andreas 10th Workshop on Advances in Preference Handling (M-PREF)Konferenzband Proceedings 2016
2Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduceKonferenzbeitrag Inproceedings 2016
3Kronegger, Martin Efficient planning with QBF-solversThesis Hochschulschrift2011