The Parameterized Complexity of Reasoning Problems

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Complex Reason
 
Project Title (de) Projekttitel (de)
The Parameterized Complexity of Reasoning Problems
 
Project Title (en) Projekttitel (en)
The Parameterized Complexity of Reasoning Problems
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Europäischer Forschungsrat (ERC)
Grant number Förderkennnummer
239962
 

Publications


Filter:
Author:  Szeider, Stefan
Author:  Slivovsky, Friedrich

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

PreviewAuthor(s)TitleTypeIssue Date
1Slivovsky, Friedrich ; Szeider, Stefan Dependency Schemes and Q-resolutionKonferenzbeitrag Inproceedings 2014
2Slivovsky, Friedrich ; Szeider, Stefan Model Counting for Formulas of Bounded Clique-WidthKonferenzbeitrag Inproceedings 2013
3Ganian, Robert ; Slivovsky, Friedrich ; Szeider, Stefan Meta-kernelization with Structural ParametersKonferenzbeitrag Inproceedings 2013
4Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan Model Counting for CNF Formulas of Bounded Modular TreewidthKonferenzbeitrag Inproceedings 2013
5Slivovsky, Friedrich ; Szeider, Stefan Variable Dependencies and Q-ResolutionKonferenzbeitrag Inproceedings 2013
6Slivovsky, Friedrich ; Szeider, Stefan Computing Resolution-Path Dependencies in Linear Time ,Konferenzbeitrag Inproceedings 2012