Serge Gaspers | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/serge-gaspers/Serge GaspersHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngSerge Gaspershttps://ac.tuwien.ac.at/team/serge-gaspers/Backdoors to Satisfaction Continuedhttps://ac.tuwien.ac.at/publication/backdoors-to-satisfaction-continued/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-satisfaction-continued/Backdoor Sets for CSPhttps://ac.tuwien.ac.at/publication/backdoor-sets-for-csp/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoor-sets-for-csp/Backdoors into heterogeneous classes of SAT and CSPhttps://ac.tuwien.ac.at/publication/backdoors-into-heterogeneous-classes-of-sat-and-csp-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-into-heterogeneous-classes-of-sat-and-csp-2/Stable Matching with Uncertain Pairwise Preferenceshttps://ac.tuwien.ac.at/publication/stable-matching-with-uncertain-pairwise-preferences/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/stable-matching-with-uncertain-pairwise-preferences/Backdoors to q-Hornhttps://ac.tuwien.ac.at/publication/backdoors-to-q-horn-2/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-q-horn-2/Stable Matching with Uncertain Linear Preferenceshttps://ac.tuwien.ac.at/publication/stable-matching-with-uncertain-linear-preferences/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/stable-matching-with-uncertain-linear-preferences/On finding optimal polytreeshttps://ac.tuwien.ac.at/publication/on-finding-optimal-polytrees-2/Thu, 01 Jan 2015 00:00:00 +0000https://ac.tuwien.ac.at/publication/on-finding-optimal-polytrees-2/Backdoors into Heterogeneous Classes of SAT and CSPhttps://ac.tuwien.ac.at/publication/backdoors-into-heterogeneous-classes-of-sat-and-csp/Wed, 01 Jan 2014 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-into-heterogeneous-classes-of-sat-and-csp/Guarantees and limits of preprocessing in constraint satisfaction and reasoninghttps://ac.tuwien.ac.at/publication/guarantees-and-limits-of-preprocessing-in-constraint-satisfaction-and-reasoning/Wed, 01 Jan 2014 00:00:00 +0000https://ac.tuwien.ac.at/publication/guarantees-and-limits-of-preprocessing-in-constraint-satisfaction-and-reasoning/Backdoors to q-Hornhttps://ac.tuwien.ac.at/publication/backdoors-to-q-horn/Tue, 01 Jan 2013 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-q-horn/Strong Backdoors to Bounded Treewidth SAThttps://ac.tuwien.ac.at/publication/strong-backdoors-to-bounded-treewidth-sat/Tue, 01 Jan 2013 00:00:00 +0000https://ac.tuwien.ac.at/publication/strong-backdoors-to-bounded-treewidth-sat/Backdoors to Acyclic SAThttps://ac.tuwien.ac.at/publication/backdoors-to-acyclic-sat-2/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-acyclic-sat-2/Backdoors to Satisfactionhttps://ac.tuwien.ac.at/publication/backdoors-to-satisfaction-2/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-satisfaction-2/Don't Be Strict in Local Search!https://ac.tuwien.ac.at/publication/don-t-be-strict-in-local-search/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/don-t-be-strict-in-local-search/k-Gap Interval Graphshttps://ac.tuwien.ac.at/publication/k-gap-interval-graphs/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/k-gap-interval-graphs/On Finding Optimal Polytreeshttps://ac.tuwien.ac.at/publication/on-finding-optimal-polytrees/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/on-finding-optimal-polytrees/Strong Backdoors to Nested Satisfiabilityhttps://ac.tuwien.ac.at/publication/strong-backdoors-to-nested-satisfiability/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/strong-backdoors-to-nested-satisfiability/Backdoors to Acyclic SAThttps://ac.tuwien.ac.at/publication/backdoors-to-acyclic-sat/Sat, 01 Jan 2011 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-acyclic-sat/Backdoors to Satisfactionhttps://ac.tuwien.ac.at/publication/backdoors-to-satisfaction/Sat, 01 Jan 2011 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-satisfaction/Kernels for Global Constraintshttps://ac.tuwien.ac.at/publication/kernels-for-global-constraints/Sat, 01 Jan 2011 00:00:00 +0000https://ac.tuwien.ac.at/publication/kernels-for-global-constraints/The Parameterized Complexity of Local Consistencyhttps://ac.tuwien.ac.at/publication/the-parameterized-complexity-of-local-consistency/Sat, 01 Jan 2011 00:00:00 +0000https://ac.tuwien.ac.at/publication/the-parameterized-complexity-of-local-consistency/