Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
FAIR
 
Project Title (de) Projekttitel (de)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
 
Project Title (en) Projekttitel (en)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P25518-N23
 

Publications

Filter:
Author:  Kronegger, Martin

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

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationArtikel Article 2019
2Kronegger, Martin ; Ordyniak, Sebastian ; Pfandler, Andreas Backdoors to planningArtikel Article 2019
3Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
4de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
5Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
6Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationKonferenzbeitrag Inproceedings 2015
7Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
8Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
9Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard On the Parameterized Complexity of Generalized CP-NetsPräsentation Presentation2014
10Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingPräsentation Presentation2014
11Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
12Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
13Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Backdoors to PlanningKonferenzbeitrag Inproceedings 2014
14Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Backdoors to PlanningKonferenzbeitrag Inproceedings 2014
15Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingKonferenzbeitrag Inproceedings 2014
16Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Parameterized Complexity of Optimal Planning: A Detailed MapKonferenzbeitrag Inproceedings 2013
17Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Conformant Planning as a Benchmark for QBF-SolversKonferenzbeitrag Inproceedings 2013
18Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesKonferenzbeitrag Inproceedings 2013
19Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2013