Serge Gaspers

Recent Publications

Stable Matching with Uncertain Pairwise Preferences
Haris Aziz, Péter Bir\ ́And Tamas Fleiner, Serge Gaspers, Ronald De Haan, Nicholas Mattei and Baharak Rastegari
Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM.
PDF Cite
Backdoors to q-Horn
Serge Gaspers, Sebastian Ordyniak and M. S. Ramanujan, Saket Saurabh, Stefan Szeider
Algorithmica, volume 74, number 1, pages 540-557, 2016.
PDF Cite DOI
Stable Matching with Uncertain Linear Preferences
Haris Aziz, Peter Biro, Serge Gaspers, Ronald De Haan, Nicholas Mattei, Baharak Rastegari
Proceedings of SAGT 2016, the 9th International Symposium on Algorithmic Game Theory (Martin Gairing and Rahul Savani), volume 9928 of Lecture Notes in Computer Science, pages 195-206, 2016, Springer Verlag.
PDF Cite
Backdoors to q-Horn
Serge Gaspers, Sebastian Ordyniak and M. S. Ramanujan, Saket Saurabh, Stefan Szeider
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier and Thomas Wilke), volume 20 of LIPIcs, pages 67-79, 2013, Leibniz-Zentrum fuer Informatik.
Cite DOI
Backdoors to Acyclic SAT
Serge Gaspers, Stefan Szeider
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer), volume 7391 of Lecture Notes in Computer Science, pages 363-374, 2012, Springer Verlag.
Cite DOI
Backdoors to Satisfaction
Serge Gaspers, Stefan Szeider
The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday (Hans L. Bodlaender and Rod Downey and Fedor V. Fomin and Dániel Marx), volume 7370 of Lecture Notes in Computer Science, pages 287-317, 2012, Springer Verlag.
Cite DOI
Don't Be Strict in Local Search!
Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann and Bart Selman), 2012, AAAI Press.
Cite
k-Gap Interval Graphs
Fedor v. Fomin, Serge Gaspers, Petr A. Golovach, Karol Suchan, Stefan Szeider, Martin Vatshelle, Yngve Villanger
LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings (David Fernández-Baca), volume 7256 of Lecture Notes in Computer Science, pages 350-361, 2012, Springer Verlag.
Cite DOI
On Finding Optimal Polytrees
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann and Bart Selman), 2012, AAAI Press.
Cite
Strong Backdoors to Nested Satisfiability
Serge Gaspers, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti and Roberto Sebastiani), volume 7317 of Lecture Notes in Computer Science, pages 72-85, 2012, Springer Verlag.
Cite DOI
Backdoors to Acyclic SAT
Serge Gaspers, Stefan Szeider
10 2011, Technical report 1110.6384, Arxiv.org.
Cite
Backdoors to Satisfaction
Serge Gaspers, Stefan Szeider
10 2011, Technical report 1110.6387, Arxiv.org.
Cite
The Parameterized Complexity of Local Consistency
Serge Gaspers, Stefan Szeider
Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011) (Jimmy Ho-Man Lee), volume 6876 of Lecture Notes in Computer Science, pages 302-316, 2011, Springer Verlag.
PDF Cite