Back to
Professor Serge Gaspers

Professor Serge Gaspers

Professor
Engineering
Computer Science and Engineering

I am a Professor in the School of Computer Science and Engineering at UNSW.

I joined UNSW in 2012, first as an ARC DECRA Fellow and then as a Future Fellow. I obtained a PhD in Computer Science from the University of Bergen (Norway) under the supervision of Fedor V. Fomin in 2008. From 2009-2012, I held postdoctoral positions in Montpellier (France), Santiago (Chile), and Vienna (Austria).
E-mail
serge.gaspers@unsw.edu.au
Location
K17 506
  • Books | 2024
    Fernau H; Gaspers S; Klasing R, 2024, Preface
    Books | 2010
    Gaspers S, 2010, Exponential Time Algorithms - Structures, Measures, and Bounds., VDM
  • Book Chapters | 2024
    Fernau H; Gaspers S; Klasing R, 2024, 'Preface', in SOFSEM 2024: Theory and Practice of Computer Science, pp. v - vii, https://link.springer.com/content/pdf/bfm:978-3-031-52113-3/1
    Book Chapters | 2017
    Gaspers S; Ordyniak S; Szeider S, 2017, 'Backdoor Sets for CSP', in Krokhin AA; Zivný S (ed.), The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 137 - 157, http://dx.doi.org/10.4230/dfu.vol7.15301.5
    Book Chapters | 2017
    Gaspers S; Walsh T, 2017, 'Preface', in Theory and Applications of Satisfiability Testing – SAT 2017, Springer International Publishing, pp. V - VIII
    Book Chapters | 2016
    Gaspers S, 2016, 'Backdoors to SAT.', in Encyclopedia of Algorithms, Springer Science & Business Media, pp. 167 - 170, http://dx.doi.org/10.1007/978-1-4939-2864-4_781
    Book Chapters | 2015
    Gaspers S, 2015, 'Backdoors to SAT', in Encyclopedia of Algorithms, Springer Berlin Heidelberg, pp. 1 - 5, http://dx.doi.org/10.1007/978-3-642-27848-8_781-1
    Book Chapters | 2012
    Gaspers S; Szeider S, 2012, 'Backdoors to Satisfaction', in Bodlaender HL; Downey R; Fomin FV; Marx D (ed.), The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, Springer, Berlin, pp. 287 - 317, http://dx.doi.org/10.1007/978-3-642-30891-8_15
    Book Chapters | 2011
    Fellows MR; Gaspers S; Rosamond FA, 2011, 'Multivariate Complexity Theory', in Blum EK; Aho AV (ed.), Computer Science: The Hardware, Software and Heart of It, Springer, New York, pp. 269 - 293, http://dx.doi.org/10.1007/978-1-4614-1168-0_13
  • Journal articles | 2025
    Clinch K; Gaspers S; He Z; Saffidine A; Zhang T, 2025, 'A Piecewise Approach for the Analysis of Exact Algorithms', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15411 LNCS, pp. 79 - 93, http://dx.doi.org/10.1007/978-981-96-2845-2_6
    Journal articles | 2023
    Gaspers S; Lee EJ, 2023, 'Faster Graph Coloring in Polynomial Space', Algorithmica, 85, pp. 584 - 609, http://dx.doi.org/10.1007/s00453-022-01034-7
    Journal articles | 2022
    Aziz H; Biró P; Fleiner T; Gaspers S; de Haan R; Mattei N; Rastegari B, 2022, 'Stable matching with uncertain pairwise preferences', Theoretical Computer Science, 909, pp. 1 - 11, http://dx.doi.org/10.1016/j.tcs.2022.01.028
    Journal articles | 2022
    Smith J; Asghar HJ; Gioiosa G; Mrabet S; Gaspers S; Tyler P, 2022, 'Making the Most of Parallel Composition in Differential Privacy', Proceedings on Privacy Enhancing Technologies, 2022, pp. 253 - 273, http://dx.doi.org/10.2478/popets-2022-0013
    Journal articles | 2021
    Casel K; Fernau H; Gaspers S; Gras B; Schmid ML, 2021, 'On the Complexity of the Smallest Grammar Problem over Fixed Alphabets', Theory of Computing Systems, 65, pp. 344 - 409, http://dx.doi.org/10.1007/s00224-020-10013-w
    Journal articles | 2021
    Smith J; Asghar HJ; Gioiosa G; Mrabet S; Gaspers S; Tyler P, 2021, 'Making the Most of Parallel Composition in Differential Privacy.', CoRR, abs/2109.09078
    Journal articles | 2020
    Aziz H; Biró P; Gaspers S; Haan RD; Mattei N; Rastegari B, 2020, 'Stable Matching with Uncertain Linear Preferences.', Algorithmica, 82, pp. 1410 - 1433
    Journal articles | 2020
    Aziz H; Biró P; Gaspers S; de Haan R; Mattei N; Rastegari B, 2020, 'Stable Matching with Uncertain Linear Preferences', Algorithmica, 82, pp. 1410 - 1433, http://dx.doi.org/10.1007/s00453-019-00650-0
    Journal articles | 2019
    Fomin FV; Gaspers S; Lokshtanov D; Saurabh S, 2019, 'Exact Algorithms via Monotone Local Search.', J. ACM, 66, pp. 8:1 - 8:23, http://dx.doi.org/10.1145/3284176
    Journal articles | 2019
    Gaspers S; Gudmundsson J; Jones M; Mestre J; Rümmele S, 2019, 'Turbocharging Treewidth Heuristics', Algorithmica, 81, pp. 439 - 475, http://dx.doi.org/10.1007/s00453-018-0499-1
    Journal articles | 2019
    Gaspers S; Huang S; Paulusma D, 2019, 'Colouring square-free graphs without long induced paths.', J. Comput. Syst. Sci., 106, pp. 60 - 79, http://dx.doi.org/10.1016/j.jcss.2019.06.002
    Journal articles | 2019
    Gaspers S; Huang S, 2019, '(2P2,K4)-Free graphs are 4-Colorable', SIAM Journal on Discrete Mathematics, 33, pp. 1095 - 1120, http://dx.doi.org/10.1137/18M1205832
    Journal articles | 2019
    Gaspers S; Huang S, 2019, 'Linearly χ-bounding (P6, C4)-free graphs*', Journal of Graph Theory, 92, pp. 322 - 342, http://dx.doi.org/10.1002/jgt.22456
    Journal articles | 2018
    Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2018, 'Fixing balanced knockout and double elimination tournaments', Artificial Intelligence, 262, pp. 1 - 14, http://dx.doi.org/10.1016/j.artint.2018.05.002
    Journal articles | 2018
    Finbow S; Gaspers S; Messinger ME; Ottaway P, 2018, 'A note on the eternal dominating set problem', International Journal of Game Theory, 47, pp. 543 - 555, http://dx.doi.org/10.1007/s00182-018-0623-0
    Journal articles | 2018
    Gaspers S; Mackenzie S, 2018, 'On the number of minimal separators in graphs', Journal of Graph Theory, 87, pp. 653 - 659, http://dx.doi.org/10.1002/jgt.22179
    Journal articles | 2017
    Gaspers S; Misra N; Ordyniak S; Szeider S; Živný S, 2017, 'Backdoors into heterogeneous classes of SAT and CSP', Journal of Computer and System Sciences, 85, pp. 38 - 56, http://dx.doi.org/10.1016/j.jcss.2016.10.007
    Journal articles | 2017
    Gaspers S; Sorkin GB, 2017, 'Separate, measure and conquer: Faster polynomial-space algorithms for Max 2-CSP and counting dominating sets', ACM Transactions on Algorithms, 13, http://dx.doi.org/10.1145/3111499
    Journal articles | 2016
    Gaspers S; Ordyniak S; Ramanujan MS; Saurabh S; Szeider S, 2016, 'Backdoors to q-Horn', Algorithmica, 74, pp. 540 - 557, http://dx.doi.org/10.1007/s00453-014-9958-5
    Journal articles | 2015
    Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Fair assignment of indivisible objects under ordinal preferences', Artificial Intelligence, 227, pp. 71 - 92, http://dx.doi.org/10.1016/j.artint.2015.06.002
    Journal articles | 2015
    Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Fair assignment of indivisible objects under ordinal preferences.', Artif. Intell., 227, pp. 71 - 92, http://dx.doi.org/10.1016/j.artint.2015.06.002
    Journal articles | 2015
    Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Two Desirable Fairness Concepts for Allocation of Indivisible Objects under Ordinal Preferences', ACM SIGECOM EXCHANGES, 14, pp. 16 - 21, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000372616400002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
    Journal articles | 2015
    Frati F; Gaspers S; Gudmundsson J; Mathieson L, 2015, 'Augmenting Graphs to Minimize the Diameter.', Algorithmica, 72, pp. 995 - 1010, http://dx.doi.org/10.1007/s00453-014-9886-4
    Journal articles | 2015
    Gaspers S; Koivisto M; Liedloff M; Ordyniak S; Szeider S, 2015, 'On finding optimal polytrees.', Theor. Comput. Sci., 592, pp. 49 - 58
    Journal articles | 2015
    Gaspers S; Liedloff M; Stein M; Suchan K, 2015, 'Complexity of splits reconstruction for low-degree trees', Discrete Applied Mathematics, 180, pp. 89 - 100, http://dx.doi.org/10.1016/j.dam.2014.08.005
    Journal articles | 2015
    van Bevern R; Downey RG; Fellows MR; Gaspers S; Rosamond FA, 2015, 'Myhill–Nerode Methods for Hypergraphs', Algorithmica, 73, pp. 696 - 729, http://dx.doi.org/10.1007/s00453-015-9977-x
    Journal articles | 2014
    Gaspers S; Ordyniak S; Ramanujan MS; Saurabh S; Szeider S, 2014, 'Backdoors to q-Horn', Algorithmica, http://dx.doi.org/10.1007/s00453-014-9958-5
    Journal articles | 2014
    Gaspers S; Szeider S, 2014, 'Guarantees and limits of preprocessing in constraint satisfaction and reasoning', Artificial Intelligence, 216, pp. 1 - 19, http://dx.doi.org/10.1016/j.artint.2014.06.006
    Journal articles | 2013
    Binkele-Raible D; Fernau H; Gaspers S; Liedloff M, 2013, 'Exact and parameterized algorithms for max internal spanning tree', Algorithmica, 65, pp. 95 - 128, http://dx.doi.org/10.1007/s00453-011-9575-5
    Journal articles | 2013
    Fomin FV; Gaspers S; Saurabh S; Thomasse S, 2013, 'A linear vertex kernel for maximum internal spanning tree', JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 79, pp. 1 - 6, http://dx.doi.org/10.1016/j.jcss.2012.03.004
    Journal articles | 2013
    Fomin FV; Gaspers S; Saurabh S; Thomassé S, 2013, 'A linear vertex kernel for maximum internal spanning tree', Journal of Computer and System Sciences, 79, pp. 1 - 6, http://dx.doi.org/10.1016/j.jcss.2012.03.004
    Journal articles | 2013
    Fürer M; Gaspers S; Kasiviswanathan SP, 2013, 'An exponential time 2-approximation algorithm for bandwidth', Theoretical Computer Science, 511, pp. 23 - 31, http://dx.doi.org/10.1016/j.tcs.2013.03.024
    Journal articles | 2013
    Gaspers S; Mnich M, 2013, 'Feedback vertex sets in tournaments', Journal of Graph Theory, 72, pp. 72 - 89, http://dx.doi.org/10.1002/jgt.21631
    Journal articles | 2012
    Bevern RV; Fellows MR; Gaspers S; Rosamond FA, 2012, 'How applying Myhill-Nerode methods to hypergraphs helps mastering the Art of Trellis Decoding', CoRR, abs/1211.1299
    Journal articles | 2012
    Fellows MR; Gaspers S; Rosamond FA, 2012, 'Parameterizing by the Number of Numbers', Theory of Computing Systems, 50, pp. 675 - 693, http://dx.doi.org/10.1007/s00224-011-9367-y
    Journal articles | 2012
    Fellows MR; Gaspers S; Rosamond FA, 2012, 'Parameterizing by the Number of Numbers.', Theory Comput. Syst., 50, pp. 675 - 693, http://dx.doi.org/10.1007/s00224-011-9367-y
    Journal articles | 2012
    Gaspers S; Koivisto M; Liedloff M; Ordyniak S; Szeider S, 2012, 'On Finding Optimal Polytrees', Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 750 - 756
    Journal articles | 2012
    Gaspers S; Kratsch D; Liedloff M, 2012, 'On Independent Sets and Bicliques in Graphs', Algorithmica, 62, pp. 637 - 658, http://dx.doi.org/10.1007/s00453-010-9474-1
    Journal articles | 2012
    Gaspers S; Liedloff M, 2012, 'A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set', Discrete Mathematics & Theoretical Computer Science, 14, pp. 29 - 42, http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/1744
    Journal articles | 2012
    Gaspers S; Liedloff M, 2012, 'A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set', Discrete Mathematics & Theoretical Computer Science, Vol. 14 no. 1, http://dx.doi.org/10.46298/dmtcs.563
    Journal articles | 2012
    Gaspers S; Sorkin GB, 2012, 'A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between', Journal of Computer and System Sciences, 78, pp. 305 - 335, http://dx.doi.org/10.1016/j.jcss.2011.05.010
    Journal articles | 2011
    Bessy S; Fomin FV; Gaspers S; Paul C; Perez A; Saurabh S; Thomassé S, 2011, 'Kernels for feedback arc set in tournaments', Journal of Computer and System Sciences, 77, pp. 1071 - 1078, http://dx.doi.org/10.1016/j.jcss.2010.10.001
    Journal articles | 2011
    Bessy S; Fomin FV; Gaspers S; Paul C; Perez A; Saurabh S; Thomassé S, 2011, 'Kernels for feedback arc set in tournaments.', J. Comput. Syst. Sci., 77, pp. 1071 - 1078
    Journal articles | 2010
    Binkele-Raible D; Fernau H; Gaspers S; Liedloff M, 2010, 'Exact exponential-time algorithms for finding bicliques', Information Processing Letters, 111, pp. 64 - 67, http://dx.doi.org/10.1016/j.ipl.2010.10.020
    Journal articles | 2010
    Fomin FV; Gaspers S; Golovach PA; Kratsch D; Saurabh S, 2010, 'Parameterized algorithm for eternal vertex cover', Information Processing Letters, 110, pp. 702 - 706, http://dx.doi.org/10.1016/j.ipl.2010.05.029
    Journal articles | 2010
    Fomin FV; Gaspers S; Kratsch D; Liedloff M; Saurabh S, 2010, 'Iterative compression and exact algorithms', Theoretical Computer Science, 411, pp. 1045 - 1053, http://dx.doi.org/10.1016/j.tcs.2009.11.012
    Journal articles | 2010
    Gaspers S; Messinger ME; Nowakowski RJ; Prałat P, 2010, 'Parallel cleaning of a network with brushes', Discrete Applied Mathematics, 158, pp. 467 - 478, http://dx.doi.org/10.1016/j.dam.2009.11.003
    Journal articles | 2009
    Fomin FV; Gaspers S; Saurabh S; Stepanov AA, 2009, 'On two techniques of combining branching and treewidth', Algorithmica (New York), 54, pp. 181 - 207, http://dx.doi.org/10.1007/s00453-007-9133-3
    Journal articles | 2009
    Gaspers S; Kratsch D; Liedloff M; Todinca I, 2009, 'Exponential Time Algorithms for the Minimum Dominating Set Problem on Some Graph Classes', ACM TRANSACTIONS ON ALGORITHMS, 6, http://dx.doi.org/10.1145/1644015.1644024
    Journal articles | 2009
    Gaspers S; Messinger ME; Nowakowski RJ; Prałat P, 2009, 'Clean the graph before you draw it!', Information Processing Letters, 109, pp. 463 - 467, http://dx.doi.org/10.1016/j.ipl.2009.01.003
    Journal articles | 2008
    Fomin FV; Gaspers S; Pyatkin AV; Razgon I, 2008, 'On the minimum feedback vertex set problem: Exact and enumeration algorithms', Algorithmica (New York), 52, pp. 293 - 307, http://dx.doi.org/10.1007/s00453-007-9152-0
  • Conference Papers | 2024
    Aloisio A; Flammini M; Vinci C, 2024, 'Generalized Distance Polymatrix Games.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 25 - 39, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Banbara M; Minato S-I; Ono H; Uehara R, 2024, 'On the Computational Complexity of Generalized Common Shape Puzzles.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 55 - 68, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Beikmohammadi A; Evans WS; Tabatabaee SA, 2024, 'Fractional Bamboo Trimming and Distributed Windows Scheduling.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 69 - 81, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Berndt S; Mnich M; Stamm T, 2024, 'New Support Size Bounds and Proximity Bounds for Integer Linear Programming.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 82 - 95, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Bhyravarapu S; Kanesh L; Mohanapriya A; Purohit N; Sadagopan N; Saurabh S, 2024, 'On the Parameterized Complexity of Minus Domination.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 96 - 110, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Bliznets I; Nederlof J; Szilágyi K, 2024, 'Parameterized Algorithms for Covering by Arithmetic Progressions.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 125 - 138, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Bliznets I; Nederlof J, 2024, 'Exact and Parameterized Algorithms for Choosability.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 111 - 124, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Bonis AD, 2024, 'Group Testing in Arbitrary Hypergraphs and Related Combinatorial Structures.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 154 - 168, https://doi.org/10.1007/978-3-031-52113-3
    Preprints | 2024
    Clinch K; Gaspers S; He Z; Saffidine A; Zhang T, 2024, A Piecewise Approach for the Analysis of Exact Algorithms, http://arxiv.org/abs/2402.10015v3
    Conference Papers | 2024
    Crespi-Reghizzi S; Restivo A; Pietro PS, 2024, 'Row-Column Combination of Dyck Words.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 139 - 153, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Dirks J; Gerhard E; Grobler M; Mouawad AE; Siebertz S, 2024, 'Data Reduction for Directed Feedback Vertex Set on Graphs Without Long Induced Cycles.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 183 - 197, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Evans WS; Köck K; Kobourov SG, 2024, 'Visualization of Bipartite Graphs in Limited Window Size.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 198 - 210, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Fiala J; Firman O; Liotta G; Wolff A; Zink J, 2024, 'Outerplanar and Forest Storyplans.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 211 - 225, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Firbas A; Dobler A; Holzer F; Schafellner J; Sorge M; Villedieu A; Wißmann M, 2024, 'The Complexity of Cluster Vertex Splitting and Company.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 226 - 239, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Firman O; Hegemann T; Klemz B; Klesen F; Sieper MD; Wolff A; Zink J, 2024, 'Morphing Graph Drawings in the Presence of Point Obstacles.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 240 - 254, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Fleischmann P; Haschke L; Löck T; Nowotka D, 2024, 'Word-Representable Graphs from a Word's Perspective.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 255 - 268, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Fuchs J; Grüne C; Janßen T, 2024, 'The Complexity of Online Graph Games.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 269 - 282, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Gaspers S; Li JZ, 2024, 'Quantum Algorithms for Graph Coloring and Other Partitioning, Covering, and Packing Problems', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ICALP.2024.69
    Conference Papers | 2024
    Gourvès L; Pagourtzis A, 2024, 'Removable Online Knapsack with Bounded Size Items.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 283 - 296, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Hanaka T; Kiya H; Lampis M; Ono H; Yoshiwatari K, 2024, 'Faster Winner Determination Algorithms for (Colored) Arc Kayles.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 297 - 310, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Hoffmann S, 2024, 'Automata Classes Accepting Languages Whose Commutative Closure is Regular.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 311 - 325, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Janousek J; Plachý S, 2024, 'Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 326 - 339, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Kawasaki Y; Hendrian D; Yoshinaka R; Shinohara A, 2024, 'Query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 340 - 354, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Laußmann C; Rothe J; Seeger T, 2024, 'Apportionment with Thresholds: Strategic Campaigns are Easy in the Top-Choice but Hard in the Second-Chance Mode.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 355 - 368, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Maldonado D; Montealegre P; Ríos-Wilson M; Theyssier G, 2024, 'Local Certification of Majority Dynamics.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 369 - 382, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Martínez VA; Chaplick S; Kelk S; Meuwese R; Mihalák M; Stamoulis G, 2024, 'Relaxed Agreement Forests.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 40 - 54, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Mattes C; Ushakov A; Weiß A, 2024, 'Complexity of Spherical Equations in Finite Groups.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 383 - 397, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Mousawi SM; Zilles S, 2024, 'Positive Characteristic Sets for Relational Pattern Languages.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 398 - 412, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Nederlof J; Szilágyi K, 2024, 'Algorithms and Turing Kernels for Detecting and Counting Small Patterns in Unit Disk Graphs.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 413 - 426, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Nász A-T, 2024, 'The Weighted HOM-Problem Over Fields.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 427 - 441, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Orang AV; Dorri A; Gaspers S; Ruj S, 2024, 'Blockchain-Enabled Private and Secure Task Allocation Framework', in 2024 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024, pp. 666 - 670, http://dx.doi.org/10.1109/COMSNETS59351.2024.10427531
    Conference Papers | 2024
    Perrot K; Sené S; Tapin L, 2024, 'Combinatorics of Block-Parallel Automata Networks.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 442 - 455, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Praveen M; Schnoebelen P; Veron J; Vialard I, 2024, 'On the Piecewise Complexity of Words and Periodic Words.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 456 - 470, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Schmid ML, 2024, 'The Information Extraction Framework of Document Spanners - A Very Informal Survey.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 3 - 22, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Shur AM; Rubinchik M, 2024, 'Distance Labeling for Families of Cycles.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 471 - 484, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Takhanov R, 2024, 'On the Induced Problem for Fixed-Template CSPs.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 485 - 499, https://doi.org/10.1007/978-3-031-52113-3
    Conference Papers | 2024
    Vlas JMD, 2024, 'On the Parameterized Complexity of the Perfect Phylogeny Problem.', in Fernau H; Gaspers S; Klasing R (eds.), SOFSEM, Springer, pp. 169 - 182, https://doi.org/10.1007/978-3-031-52113-3
    Conference Proceedings (Editor of) | 2024
    Fernau H; Gaspers S; Klasing R, (eds.), 2024, 'SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings', Springer, Vol. 14519
    Preprints | 2023
    Gaspers S; Li JZ, 2023, Quantum Algorithms for Graph Coloring and other Partitioning, Covering, and Packing Problems, , http://arxiv.org/abs/2311.08042v1
    Conference Papers | 2022
    Gaspers S; Kaploun A, 2022, 'Faster Algorithms for Weak Backdoors', in Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, pp. 3741 - 3748, http://dx.doi.org/10.1609/aaai.v36i4.20288
    Conference Papers | 2020
    Aziz H; Gaspers S; Sun Z; Yokoo M, 2020, 'Multiple Levels of Importance in Matching with Distributional Constraints: Extended Abstract.', in Seghrouchni AEF; Sukthankar G; An B; Yorke-Smith N (eds.), AAMAS, International Foundation for Autonomous Agents and Multiagent Systems, pp. 1759 - 1761, https://dl.acm.org/doi/10.5555/3398761
    Conference Papers | 2020
    Aziz H; Gaspers S; Sun Z; Yokoo M, 2020, 'Multiple levels of importance in matching with distributional constraints', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 1759 - 1761
    Conference Papers | 2020
    Aziz H; Gaspers S; Sun Z, 2020, 'Mechanism design for school choice with soft diversity constraints', in IJCAI International Joint Conference on Artificial Intelligence, pp. 153 - 159
    Conference Papers | 2020
    Aziz H; Gaspers S; Sun Z, 2020, 'Mechanism design for school choice with soft diversity constraints', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 1756 - 1758
    Conference Papers | 2019
    Aziz H; Sun Z; Gaspers S; Walsh T, 2019, 'From matching with diversity constraints to matching with regional quotas', in Elkind E; Veloso M; Agmon N; Taylor ME (eds.), Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, ASSOC COMPUTING MACHINERY, CANADA, Montreal, pp. 377 - 385, presented at 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), CANADA, Montreal, 13 May 2019 - 17 May 2019, http://dx.doi.org/10.26190/unsworks/27612
    Conference Papers | 2019
    Fomin FV; Gaspers S; Lokshtanov D; Saurabh S, 2019, 'Exact algorithms via monotone local search', in Journal of the ACM, http://dx.doi.org/10.1145/3284176
    Conference Papers | 2019
    Gaspers S; Lau J, 2019, 'Minimizing and computing the inverse geodesic length on trees', in Leibniz International Proceedings in Informatics, LIPIcs, Shanghai, China, presented at 30th International Symposium on Algorithms and Computation (ISAAC 2019) held in Shanghai, China on December 8-11, 2019, Shanghai, China, 08 December 2019 - 11 December 2019, http://dx.doi.org/10.4230/LIPIcs.ISAAC.2019.59
    Conference Papers | 2019
    Gaspers S; Li R, 2019, 'Enumeration of Preferred Extensions in Almost Oriented Digraphs.', in Rossmanith P; Heggernes P; Katoen J-P (eds.), MFCS, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 74:1 - 74:1, http://www.dagstuhl.de/dagpub/978-3-95977-117-7
    Conference Papers | 2019
    Gaspers S; Li R, 2019, 'Enumeration of preferred extensions in almost oriented digraphs', in Leibniz International Proceedings in Informatics, LIPIcs, Aachen, Germany, presented at 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Aachen, Germany, 26 August 2019, http://dx.doi.org/10.4230/LIPIcs.MFCS.2019.74
    Conference Papers | 2019
    Gaspers S; Najeebullah K, 2019, 'Optimal Surveillance of Covert Networks by Minimizing Inverse Geodesic Length', in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, Honolulu, HI, pp. 533 - 540, presented at 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence, Honolulu, HI, 27 January 2019 - 01 February 2019, http://dx.doi.org/10.1609/aaai.v33i01.3301533
    Conference Papers | 2019
    Gerding EH; Perez-Diaz A; Aziz H; Gaspers S; Marcu A; Mattei N; Walsh T, 2019, 'Fair online allocation of perishable goods and its application to electric vehicle charging', in IJCAI International Joint Conference on Artificial Intelligence, Macao, China, pp. 5569 - 5575, presented at Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-, Macao, China, 10 August 2019, http://dx.doi.org/10.24963/ijcai.2019/773
    Conference Papers | 2018
    Abu-Khzam FN; Egan J; Gaspers S; Shaw A; Shaw P, 2018, 'Cluster editing with vertex splitting', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 1 - 13, http://dx.doi.org/10.1007/978-3-319-96151-4_1
    Conference Papers | 2018
    Aziz H; Gaspers S; Lee EJ; Najeebullah K, 2018, 'Defender stackelberg game with inverse geodesic length as utility metric', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems, Stockholm, Sweden, pp. 694 - 702, presented at AAMAS (International Conference on Autonomous Agents and Multiagent Systems) 2018, Stockholm, Sweden, 10 July 2018 - 15 July 2018, http://ifaamas.org/Proceedings/aamas2018/pdfs/p694.pdf
    Conference Papers | 2018
    Chen J; Sun Z; Aziz H; Gaspers S, 2018, 'Stability and pareto optimality in refugee allocation matchings', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, ACM, Stockholm, Sweden, pp. 964 - 972, presented at 17th International Conference on Autonomous Agents and MultiAgent Systems, Stockholm, Sweden, 10 July 2018 - 15 July 2018, https://dl.acm.org/citation.cfm?id=3237383
    Conference Papers | 2018
    Gaspers S; Gudmundsson J; Horton M; Rümmele S, 2018, 'When is red-blue nonblocker fixed-parameter tractable?', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 515 - 528, http://dx.doi.org/10.1007/978-3-319-77404-6_38
    Conference Papers | 2018
    Gaspers S; Huang S; Paulusma D, 2018, 'Colouring square-free graphs without long induced paths', in Niedermeier R; Vallée B (ed.), Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Caen, France, pp. 35:1 - 35:15, presented at 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), Caen, France, 28 February 2018 - 03 March 2018, http://dx.doi.org/10.4230/LIPIcs.STACS.2018.35
    Conference Papers | 2017
    Aziz H; Biro P; Fleiner T; Gaspers S; de Haan R; Mattei N; Rastegari B, 2017, 'Stable Matching with Uncertain Pairwise Preferences', in Larson K; Winikoff M; Das S; Durfee EH (eds.), Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, ACM, Sao Paulo, Brazil, pp. 344 - 352, presented at AAMAS 2017 - 16th Conference on Autonomous Agents and MultiAgent Systems, Sao Paulo, Brazil, 08 May 2017 - 12 May 2017, http://dx.doi.org/10.1016/j.tcs.2022.01.028
    Conference Papers | 2017
    Aziz H; Gaspers S; Najeebullah K, 2017, 'Weakening covert networks by minimizing inverse geodesic length', in IJCAI International Joint Conference on Artificial Intelligence, pp. 779 - 785, http://dx.doi.org/10.24963/ijcai.2017/108
    Conference Papers | 2017
    Bonnet E; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A; Ruemmele S, 2017, 'The Parameterized Complexity of Positional Games', in Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Warsaw, Poland, pp. 90:1 - 90:14, presented at ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.4230/LIPIcs.ICALP.2017.90
    Conference Papers | 2017
    Gaspers S; Huang S, 2017, 'Linearly χ -Bounding (P6, C4) -Free Graphs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Eindhoven, The Netherlands, pp. 263 - 274, presented at 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, 21 June 2017 - 23 June 2017, http://dx.doi.org/10.1007/978-3-319-68705-6_20
    Conference Papers | 2017
    Gaspers S; Lee EJ, 2017, 'Exact Algorithms via Multivariate Subroutines', in Chatzigiannakis I; Indyk P; Kuhn F; Muscholl A (eds.), Proceedings of ICALP 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Warsaw, Poland, pp. 69:1 - 69:13, presented at ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.4230/lipics.icalp.2017.69
    Conference Papers | 2017
    Gaspers S; Lee EJ, 2017, 'Faster Graph Coloring in Polynomial Space', in Cao Y; Chen J (ed.), COCOON, Springer, Hong Kong, China, pp. 371 - 383, presented at COCOON 2017 - 23rd International Conference on Computing and Combinatorics, Hong Kong, China, 03 August 2017 - 05 August 2017, http://dx.doi.org/10.1007/978-3-319-62389-4_31
    Conference Papers | 2017
    Gaspers S; Rümmele S; Saffidine A; Tran K, 2017, 'Minesweeper with limited moves', in 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, Association for the Advancement of Artificial Intelligence, New Orleans, Louisiana, USA, pp. 860 - 867, presented at Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, 02 February 2017 - 07 February 2017, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17407/15768
    Conference Proceedings (Editor of) | 2017
    Gaspers S; Walsh T, (ed.), 2017, 'Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings', Springer, Vol. 10491
    Conference Papers | 2016
    Abeliuk A; Aziz H; Berbeglia G; Gaspers S; Kalina P; Mattei N; Peters D; Stursberg P; Hentenryck PV; Walsh T, 2016, 'Interdependent Scheduling Games.', in Kambhampati S (ed.), IJCAI, IJCAI/AAAI Press, pp. 2 - 9, http://www.ijcai.org/Proceedings/2016
    Conference Papers | 2016
    Abeliuk A; Aziz H; Berbeglia G; Gaspers S; Kalina P; Mattei N; Peters D; Stursberg P; Van Hentenryck P; Walsh T, 2016, 'Interdependent scheduling games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 2 - 9, http://dx.doi.org/10.26190/unsworks/27610
    Conference Papers | 2016
    Aziz H; Biró P; Gaspers S; de Haan R; Mattei N; Rastegari B, 2016, 'Stable matching with uncertain linear preferences', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER INT PUBLISHING AG, Liverpool, UK, pp. 195 - 206, presented at Algorithmic Game Theory - 9th International Symposium (SAGT 2016), Liverpool, UK, 19 September 2016 - 21 September 2016, http://dx.doi.org/10.1007/978-3-662-53354-3_16
    Conference Papers | 2016
    Casel K; Fernau H; Gaspers S; Gras B; Schmid ML, 2016, 'On the complexity of grammar-based compression over fixed alphabets', in Chatzigiannakis I; Mitzenmacher M; Rabani Y; Sangiorgi D (eds.), Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Rome, Italy, pp. 122:1 - 122:1, presented at 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, Italy, 11 July 2016 - 15 July 2016, http://dx.doi.org/10.4230/lipics.icalp.2016.122
    Conference Papers | 2016
    Cochefert M; Couturier J-F; Gaspers S; Kratsch D, 2016, 'Faster Algorithms to Enumerate Hypergraph Transversals.', in Kranakis E; Navarro G; Chávez E (eds.), LATIN, Springer, pp. 306 - 318, https://doi.org/10.1007/978-3-662-49529-2
    Conference Papers | 2016
    Gaspers S; Gudmundsson J; Jones M; Mestre J; Ruemmele S, 2016, 'Turbocharging Treewidth Heuristics', in Guo J; Hermelin D (ed.), Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Aarhus, Denmark, pp. 13:1 - 13:1, presented at 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, Aarhus, Denmark, 24 August 2016 - 26 August 2016, http://dx.doi.org/10.4230/LIPIcs.IPEC.2016.13
    Conference Papers | 2016
    Gaspers S; Papadimitriou C; Saether SH; Telle JA, 2016, 'On Satisfiability Problems with a Linear Structure', in Leibniz International Proceedings in Informatics, LIPIcs, Aarhus, Denmark, presented at 11th International Symposium on Parameterized and Exact Computation (IPEC 2016), Aarhus, Denmark, 24 August 2016 - 26 August 2016
    Conference Papers | 2016
    Gaspers S; Papadimitriou CH; Sæther SH; Telle JA, 2016, 'On Satisfiability Problems with a Linear Structure.', in Guo J; Hermelin D (ed.), IPEC, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 14:1 - 14:1, http://www.dagstuhl.de/dagpub/978-3-95977-023-1
    Conference Papers | 2015
    Aleksandrov M; Aziz H; Gaspers S; Walsh T, 2015, 'Online Fair Division: Analysing a Food Bank Problem.', in Yang Q; Wooldridge MJ (ed.), IJCAI, AAAI Press, pp. 2540 - 2546, http://ijcai.org/proceedings/2015
    Conference Papers | 2015
    Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2015, 'Computational Aspects of Multi-Winner Approval Voting.', in Weiss G; Yolum P; Bordini RH; Elkind E (eds.), AAMAS, ACM, pp. 107 - 115, http://dl.acm.org/citation.cfm?id=2772879
    Conference Papers | 2015
    Aziz H; Gaspers S; Gudmundsson J; Mestre J; Täubig H, 2015, 'Welfare maximization in fractional hedonic games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 461 - 467
    Conference Papers | 2015
    Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, 'Equilibria Under the Probabilistic Serial Rule.', in Yang Q; Wooldridge MJ (ed.), IJCAI, AAAI Press, pp. 1105 - 1112, http://ijcai.org/proceedings/2015
    Conference Papers | 2015
    Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, 'Manipulating the Probabilistic Serial Rule.', in Weiss G; Yolum P; Bordini RH; Elkind E (eds.), AAMAS, ACM, pp. 1451 - 1459, http://dl.acm.org/citation.cfm?id=2772879
    Conference Papers | 2015
    Gaspers S; Mackenzie S, 2015, 'On the Number of Minimal Separators in Graphs.', in Mayr EW (ed.), WG, Springer, pp. 116 - 121, https://doi.org/10.1007/978-3-662-53174-7
    Conference Papers | 2015
    Gaspers S; Sorkin GB, 2015, 'Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets.', in Halldórsson MM; Iwama K; Kobayashi N; Speckmann B (eds.), ICALP (1), Springer, pp. 567 - 579, https://doi.org/10.1007/978-3-662-47672-7
    Conference Papers | 2014
    Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2014, 'Fixing a balanced knockout tournament', in Proceedings of the National Conference on Artificial Intelligence, pp. 552 - 558
    Conference Papers | 2014
    Aziz H; Gaspers S; Mackenzie S; Walsh T, 2014, 'Fair Assignment Of Indivisible Objects Under Ordinal Preferences', in AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, ASSOC COMPUTING MACHINERY, FRANCE, Paris, pp. 1305 - 1312, presented at International Conference on Autonomous Agents and Multiagent Systems (AAMAS), FRANCE, Paris, 05 May 2014 - 09 May 2014
    Conference Papers | 2014
    Aziz H; Gaspers S; Mackenzie S; Walsh T, 2014, 'Fair assignment of indivisible objects under ordinal preferences', in Bazzan ALC; Huhns MN; Lomuscio A; Scerri P (eds.), 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, Elsevier, pp. 1305 - 1312, http://dx.doi.org/10.1016/j.artint.2015.06.002
    Conference Papers | 2014
    Gaspers S; Misra N; Ordyniak S; Szeider S; Zivny S, 2014, 'Backdoors into Heterogeneous Classes of SAT and CSP', in PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, CANADA, Quebec City, pp. 2652 - 2658, presented at 28th AAAI Conference on Artificial Intelligence, CANADA, Quebec City, 27 July 2014 - 31 July 2014
    Conference Papers | 2014
    Gaspers S; Misra N; Ordyniak S; Szeider S; Živný S, 2014, 'Backdoors into heterogeneous classes of SAT and CSP', in Proceedings of the National Conference on Artificial Intelligence, pp. 2652 - 2658
    Conference Papers | 2014
    Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and Necessary Winner Problem in Social Polls (extended abstract)', Saint Paul, presented at roceedings of the 2013 international conference on Autonomous agents and multi-agent system, Saint Paul, 06 May 2014 - 10 May 2014, http://dl.acm.org/citation.cfm?id=2485106
    Conference Papers | 2014
    Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and necessary winner problem in social polls', in 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, pp. 613 - 620
    Conference Papers | 2013
    Aziz H; Gaspers S; Mattei N; Narodytska N; Walsh T, 2013, 'Ties matter: Complexity of manipulation when tie-breaking with a random vote', in desJardins, M; Littman M (ed.), Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, Washington, USA, pp. 74 - 80, presented at 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, Washington, USA, 14 July 2013 - 18 July 2013, http://dblp.uni-trier.de/db/conf/aaai/aaai2013.html#AzizGMNW13
    Conference Papers | 2013
    Chu G; Gaspers S; Narodytska N; Schutt A; Walsh T, 2013, 'On the complexity of global scheduling constraints under structural restrictions', in IJCAI International Joint Conference on Artificial Intelligence, pp. 503 - 509
    Conference Papers | 2013
    Frati F; Gaspers S; Gudmundsson J; Mathieson L, 2013, 'Augmenting Graphs to Minimize the Diameter', Springer, pp. 383 - 393, presented at ISAAC 2013: 24th Annual International Symposium on Algorithms and Computation, 16 December 2013 - 18 December 2013, http://dx.doi.org/10.1007/978-3-642-45030-3_36
    Conference Papers | 2013
    Gaspers S; Kalinowski T; Narodytska N; Walsh T, 2013, 'Coalitional manipulation for Schulze's rule.', in Gini ML; Shehory O; Ito T; Jonker CM (eds.), AAMAS, IFAAMAS, pp. 431 - 438, http://dl.acm.org/citation.cfm?id=2484920
    Conference Papers | 2013
    Gaspers S; Kim EJ; Ordyniak S; Saurabh S; Szeider S, 2013, 'Don't Be Strict in Local Search!', in Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, WAshington, USA, pp. 486 - 492, presented at Twenty-Seventh Conference on Artificial Intelligence (AAAI-13), Bellevue, WAshington, USA, 14 July 2013 - 18 July 2013, https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4929/5228
    Conference Papers | 2013
    Gaspers S; Koivisto M; Liedloff M; Ordyniak S; Szeider S, 2013, 'On Finding Optimal Polytrees', in Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, WAshington, USA, pp. 750 - 756, presented at Twenty-Seventh Conference on Artificial Intelligence (AAAI-13), Bellevue, WAshington, USA, 14 July 2013 - 18 July 2013, https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4927/5266
    Conference Papers | 2013
    Gaspers S; Ordyniak S; Ramanujan MS; Saurabh S; Szeider S, 2013, 'Backdoors to q-Horn', Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 67 - 79, presented at 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Dagstuhl, Germany, 27 February 2013 - 02 March 2013, http://dx.doi.org/10.4230/LIPIcs.STACS.2013.67
    Conference Papers | 2013
    Gaspers S; Szeider S, 2013, 'Strong Backdoors to Bounded Treewidth SAT', in Reingold O (ed.), Foundations of Computer Science (FOCS), 2013 IEEE 54th Annual Symposium on, Berkeley, CA, USA, presented at FOCS 2013: 54th Annual IEEE Symposium on Foundations of Computer Science, Berkeley, CA, USA, 27 October 2013 - 29 October 2013
    Conference Papers | 2013
    van Bevern R; Fellows MR; Gaspers S; Rosamond FA, 2013, 'Myhill-Nerode Methods for Hypergraphs', in Algorithms and Computation, Springer, pp. 372 - 382, presented at ISAAC 2013: 24th Annual International Symposium on Algorithms and Computation, 16 December 2013 - 18 December 2013, http://dx.doi.org/10.1007/978-3-642-45030-3_35
    Conference Papers | 2012
    Fomin FV; Gaspers S; Fomin FV; Suchan K; Szeider S; van Leeuwen EJ; Vatshelle M; Villanger Y, 2012, 'k-Gap Interval Graphs', in Proceedings of the 10th Latin American Symposium on Theoretical Informatics, Springer, Berlin, pp. 350 - 361, presented at 10th Latin American Symposium on Theoretical Informatics, Arequipa, Peru, 16 April 2012 - 20 April 2012, http://dx.doi.org/10.1007/978-3-642-29344-3_30
    Conference Papers | 2012
    Gaspers S; Szeider S, 2012, 'Backdoors to Acyclic SAT', in Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), LNCS 7391, Springer, Warwick, UK, pp. 363 - 374, presented at International Colloquium on Automata, Languages and Programming, Warwick, UK, 09 July 2012 - 13 July 2012, http://dx.doi.org/10.1007/978-3-642-31594-7_31
    Conference Papers | 2012
    Gaspers S; Szeider S, 2012, 'Strong backdoors to nested satisfiability', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7317 LNCS, Springer Verlag, Trento, Italy, pp. 72 - 85, presented at 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, 17 June 2012 - 20 June 2012, http://dx.doi.org/10.1007/978-3-642-31612-8_7
    Conference Papers | 2011
    Gaspers S; Liedloff M; Stein M; Suchan K, 2011, 'Complexity of splits reconstruction for low-degree trees', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 167 - 178, http://dx.doi.org/10.1007/978-3-642-25870-1_16
    Conference Papers | 2011
    Gaspers S; Szeider S, 2011, 'Kernels for global constraints', in IJCAI International Joint Conference on Artificial Intelligence, pp. 540 - 545, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-098
    Conference Papers | 2011
    Gaspers S; Szeider S, 2011, 'The parameterized complexity of local consistency', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 302 - 316, http://dx.doi.org/10.1007/978-3-642-23786-7_24
    Conference Papers | 2010
    Fellows MR; Gaspers S; Rosamond FA, 2010, 'Parameterizing by the number of numbers', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 123 - 134, http://dx.doi.org/10.1007/978-3-642-17493-3_13
    Conference Papers | 2010
    Fernau H; Gaspers S; Raible D, 2010, 'Exact and parameterized algorithms for max internal spanning tree', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 100 - 111, http://dx.doi.org/10.1007/978-3-642-11409-0_9
    Conference Papers | 2010
    Gaspers S; Mnich M, 2010, 'Feedback vertex sets in tournaments', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 267 - 277, http://dx.doi.org/10.1007/978-3-642-15775-2_23
    Conference Papers | 2009
    Bessy S; Fomin FV; Gaspers S; Paul C; Perez A; Saurabh S; Thomasse S, 2009, 'Kernels for feedback arc set in tournaments', in Leibniz International Proceedings in Informatics, LIPIcs, pp. 37 - 47, http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2009.2305
    Conference Papers | 2009
    Fernau H; Gaspers S; Kratsch D; Liedloff M; Raible D, 2009, 'Exact exponential-time algorithms for finding bicliques in a graph', in 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2009 - Proceedings of the Conference, pp. 205 - 209
    Conference Papers | 2009
    Fomin FV; Gaspers S; Saurabh S; Thomassé S, 2009, 'A linear vertex kernel for Maximum Internal Spanning Tree', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 275 - 282, http://dx.doi.org/10.1007/978-3-642-10631-6_29
    Conference Papers | 2009
    Fürer M; Gaspers S; Kasiviswanathan SP, 2009, 'An exponential time 2-approximation algorithm for bandwidth', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 173 - 184, http://dx.doi.org/10.1007/978-3-642-11269-0_14
    Conference Papers | 2009
    Gaspers S; Sorkin GB, 2009, 'A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between', in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 606 - 615, http://dx.doi.org/10.1137/1.9781611973068.67
    Conference Papers | 2008
    Fomin FV; Gaspers S; Kratsch D; Liedloff M; Saurabh S, 2008, 'Iterative compression and exact algorithms', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 335 - 346, http://dx.doi.org/10.1007/978-3-540-85238-4_27
    Conference Papers | 2008
    Gaspers S; Kratsch D; Liedloff M, 2008, 'On independent sets and bicliques in graphs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 171 - 182, http://dx.doi.org/10.1007/978-3-540-92248-3_16
    Conference Papers | 2008
    Gaspers S; Saurabh S; Stepanov AA, 2008, 'A moderately exponential time algorithm for full degree spanning tree', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 479 - 489, http://dx.doi.org/10.1007/978-3-540-79228-4_42
    Conference Papers | 2007
    Fomin FV; Gaspers S; Saurabh S, 2007, 'Improved exact algorithms for counting 3- and 4-colorings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 65 - 74, http://dx.doi.org/10.1007/978-3-540-73545-8_9
    Conference Papers | 2006
    Fomin FV; Gaspers S; Pyatkin AV, 2006, 'Finding a minimum feedback vertex set in time O(1.7548n)', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 184 - 191, http://dx.doi.org/10.1007/11847250_17
    Conference Papers | 2006
    Fomin FV; Gaspers S; Saurabh S, 2006, 'Branching and treewidth based exact algorithms', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 16 - 25, http://dx.doi.org/10.1007/11940128_4
    Conference Papers | 2006
    Gaspers S; Kratsch D; Liedloff M, 2006, 'Exponential time algorithms for the minimum dominating set problem on some graph classes', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 148 - 159, http://dx.doi.org/10.1007/11785293_16
    Conference Papers | 2006
    Gaspers S; Liedloff M, 2006, 'A branch-and-reduce algorithm for finding a minimum independent dominating set in graphs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 78 - 89, http://dx.doi.org/10.1007/11917496_8

  • ARC Discovery Project for the project DP210103849 "Improved algorithms via random sampling" (with Fedor Fomin and Daniel Lokshtanov), A$ 435,346 (2021–2023)
  • Data61, CSIRO / UNSW Collaborative Research Project on the Computational Complexity of Resource Allocation Problems (with Toby Walsh and Haris Aziz), A$ 198,847 (2016–2018)
  • ARC Discovery Project for the project DP150101134 "Local reoptimization for turbocharging heuristics" (with Joachim Gudmundsson, Michael R Fellows, Julian Mestre, and Fedor Fomin), A$ 355,100 (2015–2017)
  • ARC Future Fellowship for the project FT140100048 “Algorithms for hard graph problems based on auxiliary data”, A$ 711,489 (2014–2018)
  • NICTA / UNSW Collaborative Research Project on the Computational Complexity of Resource Allocation Problems (with Toby Walsh), A$ 379,038 (2012–2016)
  • ARC Discovery Early Career Researcher Award (DECRA) for the project DE120101761 “Solving intractable problems: from practice to theory and back”, A$ 375,000 (2012–2014)

  • ARC Future Fellowship 2014
  • IJCAI 2013 Most Educational Video Award
  • ARC Discovery Early Career Researcher Award (DECRA) 2012
  • UNSW Vice-Chancellor’s Postdoctoral Research Fellowship 2012 (declined to take up the DECRA instead)

My research focuses on algorithms for solving NP-hard problems, especially graph and reasoning problems, with applications in Boolean satisfiability, computational social choice, constraint satisfaction, and resource allocation.

Keywords: exponential time algorithms; parameterized complexity; quantum algorithms, kernelization; extremal combinatorics; graph algorithms; computational social choice; resource allocation; satisfiability; constraint satisfaction

My Teaching

I designed and teach COMP6741 - Algorithms for intractable problems.