Name Card

Full name Familienname, Vorname
Gaspers, Serge
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gaspers, Serge ; Misra, Neeldhara ; Ordyniak, Sebastian ; Szeider, Stefan ; Živný, Stanislav Backdoors into heterogeneous classes of SAT and CSPArtikel Article 2017
2Szeider, Stefan ; Ordyniak, Sebastian ; Gaspers, Serge The Constraint Satisfaction Problem: Complexity and ApproximabilityBuchbeitrag Book Contribution 2017
3Gaspers, Serge ; Ordyniak, Sebastian ; Ramanujan, M. S. ; Saurabh, Saket ; Szeider, Stefan Backdoors to q-HornArtikel Article 2016
4Aziz, Haris ; Biro, Peter ; Gaspers, Serge ; de Haan, Ronald ; Mattei, Nicholas ; Rastegari, Baharak Stable Matching with Uncertain Linear PreferencesKonferenzbeitrag Inproceedings 2016
5Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan On finding optimal polytreesArtikel Article 2015
6Gaspers, Serge ; Szeider, Stefan Guarantees and limits of preprocessing in constraint satisfaction and reasoningArtikel Article2014
7Gaspers, Serge ; Misra, Neeldhara ; Ordyniak, Sebastian ; Szeider, Stefan ; Zivný, Stanislav Backdoors into Heterogeneous Classes of SAT and CSPKonferenzbeitrag Inproceedings 2014
8Gaspers, Serge ; Szeider, Stefan Strong Backdoors to Bounded Treewidth SATKonferenzbeitrag Inproceedings 2013
9Gaspers, Serge ; Ordyniak, Sebastian ; Ramanujan, M.S. ; Saurabh, Saket ; Szeider, Stefan Backdoors to q-HornKonferenzbeitrag Inproceedings 2013
10Gaspers, Serge ; Kim, Eun Jung ; Ordyniak, Sebastian ; Saurabh, Saket ; Szeider, Stefan Don't Be Strict in Local Search!Konferenzbeitrag Inproceedings 2012
11Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan On Finding Optimal PolytreesKonferenzbeitrag Inproceedings 2012
12Fomin, Fedor V. ; Gaspers, Serge ; Golovach, Petr ; Suchan, Karol ; Szeider, Stefan ; van Leeuwen, Erik Jan ; Vatshelle, Martin ; Villanger, Yngve k-Gap Interval GraphsKonferenzbeitrag Inproceedings 2012
13Gaspers, Serge ; Szeider, Stefan Strong Backdoors to Nested SatisfiabilityKonferenzbeitrag Inproceedings 2012
14Gaspers, Serge ; Szeider, Stefan Backdoors to Acyclic SATKonferenzbeitrag Inproceedings 2012
15Gaspers, Serge ; Liedloff, Mathieu A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating SetArtikel Article2012
16Gaspers, Serge ; Kratsch, Dieter ; Liedloff, Mathieu On Independent Sets and Bicliques in GraphsArtikel Article2012
17Gaspers, Serge ; Sorkin, Gregory B. A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in betweenArtikel Article2012
18Fellows, Michael R. ; Gaspers, Serge ; Rosamond, Frances A. Parameterizing by the Number of NumbersArtikel Article2012
19Gaspers, Serge ; Szeider, Stefan Backdoors to SatisfactionBuchbeitrag Book Contribution 2012
20Gaspers, Serge ; Szeider, Stefan The Parameterized Complexity of Local ConsistencyKonferenzbeitrag Inproceedings 2011

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan SAT-Based Local Improvement for Finding Tree Decompositions of Small WidthKonferenzbeitrag Inproceedings 2017
2Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
3Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
4Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Backdoors to PlanningKonferenzbeitrag Inproceedings 2014