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:  Pichler, Reinhard
Date Issued:  2013

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Konferenzbeitrag Inproceedings 2013
2Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Parameterized Complexity of Optimal Planning: A Detailed MapKonferenzbeitrag Inproceedings 2013
3Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Conformant Planning as a Benchmark for QBF-SolversKonferenzbeitrag Inproceedings 2013
4Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Applicability of ASP-based Problem Solving on Tree DecompositionsPräsentation Presentation2013
5Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2013