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:  Gaspers, Serge
Date Issued:  2012

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

PreviewAuthor(s)TitleTypeIssue Date
1Gaspers, Serge ; Kim, Eun Jung ; Ordyniak, Sebastian ; Saurabh, Saket ; Szeider, Stefan Don't Be Strict in Local Search!Konferenzbeitrag Inproceedings 2012
2Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan On Finding Optimal PolytreesKonferenzbeitrag Inproceedings 2012
3Fomin, Fedor V. ; Gaspers, Serge ; Golovach, Petr ; Suchan, Karol ; Szeider, Stefan ; van Leeuwen, Erik Jan ; Vatshelle, Martin ; Villanger, Yngve k-Gap Interval GraphsKonferenzbeitrag Inproceedings 2012
4Gaspers, Serge ; Szeider, Stefan Strong Backdoors to Nested SatisfiabilityKonferenzbeitrag Inproceedings 2012
5Gaspers, Serge ; Szeider, Stefan Backdoors to Acyclic SATKonferenzbeitrag Inproceedings 2012
6Gaspers, Serge ; Liedloff, Mathieu A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating SetArtikel Article2012
7Gaspers, Serge ; Kratsch, Dieter ; Liedloff, Mathieu On Independent Sets and Bicliques in GraphsArtikel Article2012
8Gaspers, Serge ; Sorkin, Gregory B. A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in betweenArtikel Article2012
9Fellows, Michael R. ; Gaspers, Serge ; Rosamond, Frances A. Parameterizing by the Number of NumbersArtikel Article2012
10Gaspers, Serge ; Szeider, Stefan Backdoors to SatisfactionBuchbeitrag Book Contribution 2012