Stefan Szeider

Head of Group; Univ.Prof. Mag.rer.nat. Dr.rer.nat.
editorial work | invited talks  | conference activities | publications | contact

 

Stefan Szeider is a full professor at TU Wien, Vienna, Austria, and head of the Algorithms and Complexity Group.

He is a co-chair of the Vienna Center for Logic and Algorithms (VCLA), deputy speaker of the Doctoral Program Logical Methods in Computer Science (LogiCS), and  scientific co-organizer of the Vienna Gödel Lectures.

Szeider has been the principle investigator of several research projects, including an ERC Starting Grant and projects from the EPSRC (UK), the Nuffield Foundation (UK), and the FWF (Austria). Szeider, whose Erdős Number is 2, has published over 100 articles in scientific journals and conference proceedings.

In his research, Szeider combines algorithmic and logic-based methods for the efficient solution of hard problems that arise in Artificial Intelligence, Automated Reasoning, and Combinatorial Optimziation, complemented by complexity-theoretic methods for establishing theoretical limits and lower bounds.

Editorial Work

• Associate Editor of the Journal of Computer and System Sciences.
• Editor of the Journal of Discrete Algorithms.
• Editor of the Journal of Artficial Intelligence Research (JAIR).
• Editor of Fundamenta Informaticae.
• Guest editor of  Algorithmica,  Special Issue on Parameterized and Exact Computation, 2015.
• Co-editor of the Proceedings of IPEC 2013, 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, Lecture Notes in Computer Science, Volume 8246, Springer Verlag 2013.
• Co-editor of the  Proceedings of COMMA 2012, the 4th International Conference on Computational Models of Argument. Frontiers in Artificial Intelligence and Applications 245, IOS Press 2012.
• Co-editor of the  Proceedings of SAT 2010, the 13th International Conference on Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science, Volume 6175, Springer Verlag 2010.
• Co-editor of the Proceedings of ACiD 2005, ACiD 2006, and ACiD 2007, the First, Second, and Third Workshop on Algorithms and Complexity in Durham, College Publications, London, 2005, 2006, and, 2007, respectively.

Invited Talks and Keynotes

(Selection)

• Invited speaker at the Workshop on Theoretical Foundations of SAT Solving, August 15 - 19, 2016, The Fields Institute, Toronto, Ontario, Canada.
• Invited keynote speaker at the International Workshop on Graph Structure and Satisfiability Testing, associate workshop of SAT 2016, Bordeaux, France, July 4, 2016.
• Invited tutorial speaker at IPEC 2014, the 9th International Symposium on Parameterized and Exact Computation, part of ALGO 2014, Wroclaw, Poland, September 10-12, 2014.
• Invited speaker at PCCR 2014, the 2nd Workshop on the Parameterized Complexity of Computational Reasoning, part of FLoC 2014, Vienna, Austria, July 17-18, 2014.
• Invited keynote speaker at IEEE-ICTAI 2013, the IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies, Washington, D.C., USA, November 4-6, 2013.
• Invited lecturer at SAT/SMT 2013, the Third International SAT/SMT Summer School 2013, Espoo, Finland, July 3-5, 2013.
• Invited speaker at APAC 2012, the first workshop on Applications of Parameterized Algorithms and Complexity, an affiliated workshop of ICALP 2012, Warwick, UK, July 8, 2012.
• Invited speaker at the workshop on Statistical Mechanics of Unsatisfiability and Glasses, Mariehamn, Finland, 23-26 May 2012.
• Invited tutorial speaker at LI 2012, the Logic and Interactions Winter School at CIRM, Marseille, France, 30 January - 2 March, 2012.
• Invited plenary speaker at INAP 2011/WLP 2011, The 19th International Conference on Applications of Declarative Programming and Knowledge Management, and The 25th Workshop on Logic Programming, Vienna, Austria, 28-30 September 2011.
• Invited plenary speaker at JFPC/JIAF 2011, the 7th French Conference on Constraint Programming and the 5th French Conference on Artificial Intelligence, Lyon, France, 8-10 June, 2011.
• Invited speaker at ARW 2009, the Automated Reasoning Workshop 2009, Department of Computer Science, University of Liverpool, UK, 21-22 April 2009.

Conference Activities

• Program committee member of IPEC 2016, STACS 2016, SAT 2016, BeyondNP 2016, SAT 2015,  ECAI 2014,  SAT 2014, STAIRS 2014,  ECAI 2014,  ISAIM 2014,  SAT 2013,  QBF 2013,   CP 2012  AAAI 2012,  MEMICS 2012,  SAT 2012,  SAT 2011,  NECTAR 2011,  MFCS 2010,  ISAIM 2010,  NECTAR 2010,  IWPEC 2009,  IJCAI 2009,  SAT 2009,  CATS 2009, ASCW 2009,  IWPEC 2008,  AAAI 2008,  SAT 2008,  SAT 2007,  SAT 2006,  WADS 2005,  SAT 2005.
• Co-organiser of the Workshop on Recent Trends in Knowledge Compilation, September 17-22, 2017, Schloss Dagstuhl, Wadern, Germany.
• Member of the steering committee of IPEC, the International Symposium on Parameterized and Exact Computation (2011-2015).
• Member of the steering committe of SAT, the International Conference on Theory and Applications of Satisfiability Testing (2010-2014).
• Senior program committee member of IJCAI 2016, the 25th International Joint Conference on Artificial Intelligence, New York City, NY, USA, July 9-15, 2016.
• Co-chair of the Symposium on New Frontiers in Knowledge Compilation, TU Wien, Vienna, Austria, June 4-6, 2015.
• Senior program committee member of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, KR Track, Buenos Aires, Argentina, 25 July-1 August 2015.
• Workshop Chair of FLoC 2014, the Sixth Federated Logic Conference (FLoC 2014), July 12-24, 2014, as part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 participants. FLoC 2014  hosted 74 workshops featuring over 800 talks and presentations.
• Program co-chair of IPEC 2013, International Symposium on Parameterized and Exact Computation, affiliated with ALGO 2013, September 4-6, 2013, Sophia Antipolis, France
• Co-chair of the First Symposium on Structure in Hard Combinatorial Problems, TU Wien, Vienna, Austria, May 16-18, 2013
• Senior program committee member of CP 2013, The 19th International Conference on Principles and Practice of Constraint Programming, Uppsala, Sweden September 16-20, 2013.
• Senior program committee member of IJCAI 2013, The 23rd International Joint Conference on Artificial Intelligence IJCAI-13, Beijing, China August 5-9, 2013.
• Conference co-chair of COMMA 2012, the Fourth International Conference on Computational Models of Argument, September 10-12, 2012, TU Wien, Vienna, Austria.
• Chair of WorKer 2011, the Third Workshop on Kernelization, September 2-4, 2011, TU Wien, Vienna, Austria.
• Chair of PCCR 2010, the first workshop on the Parameterized Complexity of Computational Reasoning, Satellite Workshop of the federated MFCS & CSL 2010 conference, Brno, Czech Republic, 28 August 2010.
• Co-chair of SAT 2010, Thirteenth International Conference on Theory and Applications of Satisfiability Testing, July 11-14, 2010, Edinburgh, UK, part of FLOC 2010, The Federated Logic Conference 2010.

Publications

Most of the publications are also listed at the DBLP Computer Science Bibliography and at Google Scholar.

2016

14 results

2016
[14]	Soundness of Q-resolution with dependency schemes Friedrich Slivovsky, Stefan Szeider Theoretical Computer Science, volume 612, pages 83–101, 2016. [bibtex] [pdf] [doi]
[13]	Model Counting for CNF Formulas of Bounded Modular Treewidth Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider Algorithmica, volume 76, number 1, pages 168–194, 2016. [bibtex] [pdf] [doi]
[12]	Backdoors to q-Horn Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider Algorithmica, volume 74, number 1, pages 540–557, 2016. [bibtex] [pdf] [doi]
[11]	Meta-Kernelization with Structural Parameters Robert Ganian, Friedrich Slivovsky, Stefan Szeider Journal of Computer and System Sciences, volume 82, number 2, pages 333–346, 2016. [bibtex]
[10]	Quantified Conjunctive Queries on Partially Ordered Sets Simone Bova, Robert Ganian, Stefan Szeider Theoretical Computer Science, volume 618, pages 72–84, 2016. [bibtex] [pdf]
[9]	Model Checking Existential Logic on Partially Ordered Sets Simone Bova, Robert Ganian, Stefan Szeider ACM Transactions on Computational Logic, volume 17, number 2, 2016. [bibtex] [pdf]
[8]	Long Distance Q-Resolution with Dependency Schemes Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 500–518, 2016, Springer Verlag. [bibtex] [pdf]
[7]	A SAT Approach to Branchwidth Neha Lodha, Sebastian Ordyniak, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 179–195, 2016, Springer Verlag. [bibtex] [doi]
[6]	Backdoors to Tractable Valued CSP Robert Ganian, Ramanujan M.S., Stefan Szeider Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings (Michel Rueher, ed.), volume 9892 of Lecture Notes in Computer Science, pages 233–250, 2016, Springer Verlag. [bibtex] [pdf] [doi]
[5]	Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting Robert Ganian, M. S. Ramanujan, Stefan Szeider Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pages 1670–1681, 2016. [bibtex] [pdf] [doi]
[4]	Polynomial-Time Construction of Optimal MPI Derived Datatype Trees Robert Ganian, Martin Kalany, Stefan Szeider, Jesper Larsson Träff 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016, pages 638–647, 2016, IEEE Computer Society. [bibtex] [doi]
[3]	On Existential MSO and its Relation to ETH Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), volume 58 of Leibniz International Proceedings in Informatics (LIPIcs), pages 42:1–42:14, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[2]	Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics Ronald de Haan, Stefan Szeider Proceedings of KR 2016, the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, April 25-29, 2016 (Chitta Baral, James P. Delgrande, Frank Wolter, eds.), pages 453–462, 2016, AAAI Press. [bibtex] [pdf]
[1]	Positive and Negative Results for Parameterized Compilability Simone Bova, Ronald de Haan, Neha Lodha, Stefan Szeider 2016, Technical report AC-TR-16-003, Algorithms and Complexity Group, TU Wien. [bibtex] [pdf]

2015

13 results

2015
[13]	Backdoors to Tractable Answer Set Programming Johannes Klaus Fichte, Stefan Szeider Artificial Intelligence, volume 220, pages 64–103, March 2015. [bibtex] [doi]
[12]	On the Subexponential-Time Complexity of CSP Ronald de Haan, Iyad A. Kanj, Stefan Szeider Journal Artificial Intelligence Research, volume 52, pages 203–234, January 2015. [bibtex] [pdf] [doi]
[11]	Parameterized and subexponential-time complexity of satisfiability problems and applications Iyad A. Kanj, Stefan Szeider Theoretical Computer Science, volume 607, pages 282–295, 2015. [bibtex] [pdf] [doi]
[10]	A SAT Approach to Clique-Width Marijn Heule, Stefan Szeider ACM Transactions on Computational Logic, volume 16, number 3, pages 24, 2015. [bibtex] [pdf] [doi]
[9]	On finding optimal polytrees Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider Theoretical Computer Science, volume 592, pages 49–58, 2015. [bibtex] [pdf] [doi]
[8]	Backdoors to Normality for Disjunctive Logic Programs Johannes Klaus Fichte, Stefan Szeider ACM Transactions on Computational Logic, volume 17, number 1, 2015. [bibtex] [pdf]
[7]	A complete parameterized complexity analysis of bounded planning Christer Bäckström, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider Journal of Computer and System Sciences, volume 81, number 7, pages 1311–1332, 2015. [bibtex] [pdf] [doi]
[6]	Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP Ronald de Haan, Stefan Szeider SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn\ve\vzkou, Czech Republic, January 24-29, 2015. Proceedings, volume 8939 of Lecture Notes in Computer Science, pages 217–229, January 2015, Springer Verlag. [bibtex] [pdf] [doi]
[5]	Community Structure Inspired Algorithms for SAT and #SAT Robert Ganian, Stefan Szeider 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas (Marijn Heule, Sean Weaver, eds.), pages 223-237, 2015, Springer Verlag. [bibtex] [pdf] [doi]
[4]	Algorithmic Applications of Tree-Cut Width Robert Ganian, Eun Jung Kim, Stefan Szeider Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, volume 9235 of Lecture Notes in Computer Science, pages 348–360, 2015, Springer Verlag. [bibtex] [pdf] [doi]
[3]	Parameterized Complexity Results for Agenda Safety in Judgment Aggregation Ulle Endriss, Ronald de Haan, Stefan Szeider Proceedings of AAMAS 2015, the 14th International Conference on Autonomous Agents and Multiagent Systems, 2015, IFAAMAS/ACM. [bibtex] [pdf]
[2]	Meta-Kernelization using Well-Structured Modulators Eduard Eiben, Robert Ganian, Stefan Szeider Parameterized and Exact Computation - 10th International Symposium, IPEC 2014, Patras, Greece, September 16-18, 2015. Revised Selected Papers (Thore Husfeldt, Iyad A. Kanj, eds.), volume 43 of LIPIcs, pages 114–126, 2015. [bibtex] [pdf] [doi]
[1]	Solving Problems on Graphs of High Rank-Width Eduard Eiben, Robert Ganian, Stefan Szeider Algorithms and Data Structures Symposium (WADS 2015), August 5-7, 2015, University of Victoria, BC, Canada, pages 314–326, 2015, Springer Verlag. [bibtex] [pdf] [doi]

2014

13 results

2014
[13]	Tractable answer-set programming with weight constraints: bounded treewidth is not enough Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran Theory Pract. Log. Program., volume 14, number 2, pages 141-164, 2014. [bibtex] [doi]
[12]	Guarantees and limits of preprocessing in constraint satisfaction and reasoning Serge Gaspers, Stefan Szeider Artificial Intelligence, volume 216, pages 1-19, 2014. [bibtex]
[11]	Variable Dependencies and Q-Resolution Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Carsten Sinz, Uwe Egly, eds.), volume 8561 of Lecture Notes in Computer Science, pages 269-284, 2014, Springer Verlag. [bibtex] [doi]
[10]	Parameterized and Subexponential-Time Complexity of Satisfiability Problems and Applications Iyad A. Kanj, Stefan Szeider Combinatorial Optimization and Applications - 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings, pages 637-651, 2014. [bibtex] [doi]
[9]	Backdoors into Heterogeneous Classes of SAT and CSP Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. (Carla E. Brodley, Peter Stone, eds.), pages 2652-2658, 2014, AAAI Press. [bibtex]
[8]	The Parameterized Complexity of Agenda Safety in Judgment Aggregation Ulle Endriss, Ronald de Haan, Stefan Szeider Proceedings of ComSoc'14, Fifth International Workshop on Computational Social Choice Pittsburgh, Pennsylvania, June 23-25, 2014, 2014. [bibtex] [pdf]
[7]	Fixed-Parameter Tractable Reductions to SAT Ronald de Haan, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Uwe Egly, Carsten Sinz, eds.), volume 8561 of Lecture Notes in Computer Science, pages 85-102, 2014, Springer Verlag. [bibtex] [pdf] [doi]
[6]	The Parameterized Complexity of Reasoning Problems Beyond NP Ronald de Haan, Stefan Szeider Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds.), 2014, AAAI Press. [bibtex] [pdf]
[5]	Subexponential Time Complexity of CSP with Global Constraints Ronald de Haan, Iyad A. Kanj, Stefan Szeider Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings (Barry O'Sullivan, ed.), volume 8656 of Lecture Notes in Computer Science, pages 272-288, 2014, Springer Verlag. [bibtex] [pdf] [doi]
[4]	Small Unsatisfiable Subsets in Constraint Satisfaction Ronald de Haan, Iyad A. Kanj, Stefan Szeider 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 429-436, 2014. [bibtex] [pdf] [doi]
[3]	Quantified Conjunctive Queries on Partially Ordered Sets Simone Bova, Robert Ganian, Stefan Szeider Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pages 122-134, 2014. [bibtex] [pdf] [doi]
[2]	Model checking existential logic on partially ordered sets Simone Bova, Robert Ganian, Stefan Szeider Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pages 21, 2014. [bibtex] [doi]
[1]	Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy Ronald de Haan, Stefan Szeider 2014, Technical report TR14-143, Electronic Colloquium on Computational Complexity (ECCC). [bibtex] [pdf]

2013

19 results

2013
[19]	Parameterized Complexity Results for Exact Bayesian Network Structure Learning Sebastian Ordyniak, Stefan Szeider Journal Artificial Intelligence Research, volume 46, pages 263-302, 2013. [bibtex]
[18]	Satisfiability of acyclic and almost acyclic CNF formulas Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider Theoretical Computer Science, volume 481, pages 85-99, 2013. [bibtex]
[17]	Capturing Structure in Hard Combinatorial Problems Stefan Szeider 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013, pages 897-898, 2013. Note: invited keynote talk [bibtex] [doi]
[16]	The Parameterized Complexity of Constraint Satisfaction and Reasoning Stefan Szeider Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers (Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, eds.), volume 7773 of Lecture Notes in Computer Science, pages 27-37, 2013, Springer Verlag. [bibtex]
[15]	Model Counting for Formulas of Bounded Clique-Width Friedrich Slivovsky, Stefan Szeider Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (Leizhen Cai, Siu-Wing Cheng, Tak Wah Lam, eds.), volume 8283 of Lecture Notes in Computer Science, pages 677-687, 2013, Springer Verlag. [bibtex] [doi]
[14]	Backdoors to Abduction Andreas Pfandler, Stefan Rümmele, Stefan Szeider Proceedings of IJCAI 2013, the 23th International Joint Conference on Artificial Intelligence, August 3-9, 2013, Beijing, China, 2013. [bibtex]
[13]	Model Counting for CNF Formulas of Bounded Modular Treewidth Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier, Thomas Wilke, eds.), volume 20 of LIPIcs, pages 55-66, 2013, Leibniz-Zentrum fuer Informatik. [bibtex]
[12]	Revisiting Space in Proof Complexity: Treewidth and Pathwidth Moritz Müller, Stefan Szeider Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Krishnendu Chatterjee, Jiri Sgall, eds.), volume 8087 of Lecture Notes in Computer Science, pages 704-716, 2013, Springer Verlag. [bibtex] [doi]
[11]	Upper and Lower Bounds for Weak Backdoor Set Detection Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag. [bibtex]
[10]	The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider Theory and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers (Elizabeth Black, Sanjay Modgil, Nir Oren, eds.), volume 8306 of Lecture Notes in Computer Science, pages 158-175, 2013, Springer Verlag. [bibtex] [doi]
[9]	On the Subexponential Time Complexity of CSP Iyad Kanj, Stefan Szeider Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins, Michael L. Littman, eds.), pages 459-465, 2013, The AAAI Press. [bibtex]
[8]	A SAT Approach to Clique-Width Marijn Heule, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 318-334, 2013, Springer Verlag. [bibtex]
[7]	Strong Backdoors to Bounded Treewidth SAT Serge Gaspers, Stefan Szeider 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 489-498, 2013, IEEE Computer Society. [bibtex]
[6]	Backdoors to q-Horn Serge Gaspers, Sebastian Ordyniak, 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, Thomas Wilke, eds.), volume 20 of LIPIcs, pages 67-79, 2013, Leibniz-Zentrum fuer Informatik. [bibtex]
[5]	Meta-kernelization with Structural Parameters Robert Ganian, Friedrich Slivovsky, Stefan Szeider Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Krishnendu Chatterjee, Jiri Sgall, eds.), volume 8087 of Lecture Notes in Computer Science, pages 457-468, 2013, Springer Verlag. [bibtex] [doi]
[4]	Backdoors to Normality for Disjunctive Logic Programs Johannes Klaus Fichte, Stefan Szeider Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins, Michael L. Littman, eds.), pages 320-337, 2013, The AAAI Press. [bibtex]
[3]	Parameterized Complexity Results for Plan Reuse Ronald de Haan, Anna Roubickova, Stefan Szeider Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins, Michael L. Littman, eds.), pages 224-231, 2013, The AAAI Press. [bibtex] [pdf]
[2]	Local Backbones Ronald de Haan, Iyad A. Kanj, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 377-393, 2013, Springer Verlag. [bibtex] [pdf]
[1]	Parameterized Complexity and Kernel Bounds for Hard Planning Problems Christer Bäckström, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider Algorithms and Complexity, 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Paul G. Spirakis, Maria J. Serna, eds.), volume 7878 of Lecture Notes in Computer Science, pages 13-24, 2013, Springer Verlag. [bibtex]

2012

14 results

2012
[14]	On graph contractions and induced minors Pim van 't Hof, Marcin Kamiński, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos Discr. Appl. Math., volume 160, number 6, pages 799-809, 2012. [bibtex]
[13]	Editing graphs to satisfy degree constraints: a parameterized approach Luke Mathieson, Stefan Szeider Journal of Computer and System Sciences, volume 78, number 1, pages 179-191, 2012. [bibtex]
[12]	Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo Algorithmica, volume 64, number 1, pages 112-125, 2012. [bibtex]
[11]	Augmenting tractable fragments of abstract argumentation Wolfgang Dvorák, Sebastian Ordyniak, Stefan Szeider Artificial Intelligence, volume 186, pages 157-173, 2012. [bibtex]
[10]	Computing Resolution-Path Dependencies in Linear Time Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 58-71, 2012, Springer Verlag. [bibtex]
[9]	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, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 72-85, 2012, Springer Verlag. [bibtex]
[8]	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, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, eds.), volume 7391 of Lecture Notes in Computer Science, pages 363-374, 2012, Springer Verlag. [bibtex]
[7]	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, Rod Downey, Fedor V. Fomin, Dániel Marx, eds.), volume 7370 of Lecture Notes in Computer Science, pages 287-317, 2012, Springer Verlag. [bibtex]
[6]	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, Bart Selman, eds.), 2012, AAAI Press. [bibtex]
[5]	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, Bart Selman, eds.), 2012, AAAI Press. [bibtex]
[4]	k-Gap Interval Graphs Fedor V. Fomin, Serge Gaspers, Petr A. Golovach, Karol Suchan, Stefan Szeider, Erik Jan van Leeuwen, Martin Vatshelle, Yngve Villanger LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings (David Fernández-Baca, ed.), volume 7256 of Lecture Notes in Computer Science, pages 350-361, 2012, Springer Verlag. [bibtex]
[3]	Abstract Argumentation via Monadic Second Order Logic Wolfgang Dvorák, Stefan Szeider, Stefan Woltran Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings (Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger, eds.), volume 7520 of Lecture Notes in Computer Science, pages 85-98, 2012, Springer Verlag. [bibtex]
[2]	The Complexity of Planning Revisited - A Parameterized Analysis Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann, Bart Selman, eds.), 2012, AAAI Press. [bibtex]
[1]	Backdoors to Tractable Answer-Set Programming Johannes Klaus Fichte, Stefan Szeider 2012, Technical report 1104.2788, Arxiv.org. Note: Extended and updated version of a paper that appeared in the proceedings of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence [bibtex]

2011

16 results

2011
[16]	The parameterized complexity of k-flip local search for SAT and MAX SAT Stefan Szeider Discrete Optim., volume 8, number 1, pages 139-145, 2011. [bibtex]
[15]	Monadic Second Order Logic on Graphs with Local Cardinality Constraints Stefan Szeider ACM Transactions on Computational Logic, volume 12, number 2, pages article 12, 2011. [bibtex]
[14]	Tractable cases of the extended global cardinality constraint Marko Samer, Stefan Szeider Constraints, volume 16, number 1, pages 1-24, 2011. [bibtex] [doi]
[13]	Algorithms and Complexity Results for Persuasive Argumentation Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider Artificial Intelligence, volume 175, pages 1722-1736, 2011. [bibtex]
[12]	A probabilistic approach to problems parameterized above or below tight bounds Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo Journal of Computer and System Sciences, volume 77, number 2, pages 422-429, 2011. [bibtex] [pdf] [doi]
[11]	On the complexity of some colorful problems parameterized by treewidth Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances Rosamond, Saket Saurabh, Stefan Szeider, Carsten Thomassen Information and Computation, volume 209, number 2, pages 143-153, 2011. [bibtex]
[10]	Parameterized Proof Complexity Stefan S. Dantchev, Barnaby Martin, Stefan Szeider Computational Complexity, volume 20, number 1, pages 51-85, 2011. [bibtex] [doi]
[9]	Solving MAX-r-SAT above a tight lower bound Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo Algorithmica, volume 61, number 3, pages 638-655, 2011. [bibtex]
[8]	Limits of Preprocessing Stefan Szeider Proceedings of the Twenty-Fifth Conference on Artificial Intelligence, AAAI 2011, pages 93-98, 2011, AAAI Press, Menlo Park, California. [bibtex] [pdf]
[7]	Augmenting Tractable Fragments of Abstract Argumentation Sebastian Ordyniak, Stefan Szeider Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh, ed.), pages 1033-1038, 2011, AAAI Press/IJCAI. [bibtex]
[6]	Satisfiability of Acyclic and almost Acyclic CNF Formulas (II) Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings (Karem A. Sakallah, Laurent Simon, eds.), volume 6695 of Lecture Notes in Computer Science, pages 47-60, 2011, Springer Verlag. [bibtex] [doi]
[5]	Kernels for Global Constraints Serge Gaspers, Stefan Szeider IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 (Toby Walsh, ed.), pages 540-545, 2011, IJCAI/AAAI. [bibtex]
[4]	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, ed.), volume 6876 of Lecture Notes in Computer Science, pages 302-316, 2011, Springer Verlag. [bibtex] [pdf]
[3]	Backdoors to Tractable Answer-Set Programming Johannes Klaus Fichte, Stefan Szeider Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh, ed.), pages 863-868, 2011, AAAI Press/IJCAI. [bibtex]
[2]	Backdoors to Satisfaction Serge Gaspers, Stefan Szeider October 2011, Technical report 1110.6387, Arxiv.org. [bibtex]
[1]	Backdoors to Acyclic SAT Serge Gaspers, Stefan Szeider October 2011, Technical report 1110.6384, Arxiv.org. [bibtex]

2010

10 results

2010
[10]	Constraint satisfaction with bounded treewidth revisited Marko Samer, Stefan Szeider Journal of Computer and System Sciences, volume 76, number 2, pages 103-114, 2010. [bibtex] [pdf]
[9]	Algorithms for propositional model counting Marko Samer, Stefan Szeider J. Discrete Algorithms, volume 8, number 1, pages 50-64, 2010. [bibtex] [pdf]
[8]	Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.), 2010, AAAI Press. [bibtex]
[7]	Algorithms and Complexity Results for Exact Bayesian Structure Learning Sebastian Ordyniak, Stefan Szeider Proceedings of UAI 2010, The 26th Conference on Uncertainty in Artificial Intelligence, Catalina Island, California, USA, July 8-11, 2010 (Peter Grünwald, Peter Spirtes, eds.), 2010, AUAI Press, Corvallis, Oregon. [bibtex]
[6]	Satisfiability of Acyclic and Almost Acyclic CNF Formulas Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India (Kamal Lodaya, Meena Mahajan, eds.), volume 8 of LIPIcs, pages 84-95, 2010, Leibniz-Zentrum fuer Informatik. [bibtex]
[5]	Algorithms and Complexity Results for Persuasive Argumentation Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider Computational Models of Argumentation, Proceedings of COMMA 2010 (Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari, eds.), volume 216 of Frontiers in Artificial Intelligence and Applications, pages 311-322, 2010. [bibtex]
[4]	On Contracting Graphs to Fixed Pattern Graphs Pim van 't Hof, Marcin Kaminski, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings (Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe, eds.), volume 5901 of Lecture Notes in Computer Science, pages 503-514, 2010, Springer Verlag. [bibtex] [doi]
[3]	Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo Parameterized and Exact Computation - 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings (Venkatesh Raman, Saket Saurabh, eds.), volume 6478 of Lecture Notes in Computer Science, pages 158-169, 2010, Springer Verlag. [bibtex] [doi]
[2]	Reasoning in Argumentation Frameworks of Bounded Clique-Width Wolfgang Dvo\vrák, Stefan Szeider, Stefan Woltran Computational Models of Argumentation, Proceedings of COMMA 2010 (Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari, eds.), volume 216 of Frontiers in Artificial Intelligence and Applications, pages 219-230, 2010. [bibtex]
[1]	Solving MAX-r-SAT Above a Tight Lower Bound Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2010, Austin, Texas, USA, January 17-19, 2010 (Moses Charikar, ed.), pages 511-517, 2010, Society for Industrial and Applied Mathematics (SIAM). [bibtex]

2009

7 results

2009
[7]	Matched Formulas and Backdoor Sets Stefan Szeider J on Satisfiability, Boolean Modeling and Computation, volume 6, pages 1-12, 2009. [bibtex] [pdf]
[6]	Backdoor sets of quantified Boolean formulas Marko Samer, Stefan Szeider Journal of Automated Reasoning, volume 42, number 1, pages 77-97, 2009. [bibtex] [pdf]
[5]	Covering graphs with few complete bipartite subgraphs Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider Theoretical Computer Science, volume 410, number 21-23, pages 2045-2053, 2009. [bibtex] [pdf] [doi]
[4]	Clique-width is NP-complete Michael R. Fellows, Frances A. Rosamond, Udi Rotics, Stefan Szeider SIAM J. Discrete Math., volume 23, number 2, pages 909-939, 2009. [bibtex] [pdf]
[3]	Fixed-Parameter Tractability Marko Samer, Stefan Szeider Chapter in Handbook of Satisfiability (Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, eds.), pages 425-454, 2009, IOS Press. [bibtex] [pdf]
[2]	The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings (Oliver Kullmann, ed.), volume 5584 of Lecture Notes in Computer Science, pages 276-283, 2009, Springer Verlag. [bibtex]
[1]	A Probabilistic Approach to Problems Parameterized above or below Tight Bounds Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers (Jianer Chen, Fedor V. Fomin, eds.), volume 5917 of Lecture Notes in Computer Science, pages 234-245, 2009, Springer Verlag. [bibtex]

2008

9 results

2008
[9]	Fixed-parameter complexity of minimum profile problems Gregory Gutin, Stefan Szeider, Anders Yeo Algorithmica, volume 52, number 2, pages 133-152, 2008. [bibtex] [pdf]
[8]	Fixed-parameter algorithms for artificial intelligence, constraint satisfaction, and database problems Georg Gottlob, Stefan Szeider The Computer Journal, volume 51, number 3, pages 303-325, 2008. Note: Survey paper [bibtex] [pdf]
[7]	Parameterized SAT Stefan Szeider Chapter in Encyclopedia of Algorithms (Ming-Yang Kao, ed.), 2008, Springer Verlag. [bibtex]
[6]	Not So Easy Problems For Tree Decomposable Graphs (invited talk) Stefan Szeider ICDM 2008, International Conference on Discrete Mathematics, June 6-10, 2008, Mysore, India, Proceedings, pages 161-171, 2008. [bibtex] [pdf]
[5]	Monadic Second Order Logic on Graphs with Local Cardinality Constraints Stefan Szeider Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, volume 5162 of Lecture Notes in Computer Science, pages 601-612, 2008, Springer Verlag. [bibtex]
[4]	Backdoor Trees Marko Samer, Stefan Szeider AAAI 08, Twenty-Third Conference on Artificial Intelligence, Chicago, Illinois, July 13-17, 2008, pages 363-368, 2008, AAAI Press. [bibtex] [pdf]
[3]	Tractable Cases of the Extended Global Cardinality Constraint Marko Samer, Stefan Szeider Proceedings of CATS 2008, Computing: The Australasian Theory Symposium, University of Wollongong, New South Wales, Australia, January 22-25, 2008 (J. Harland, P. Manyem, eds.), volume 77 of Conferences in Research and Practice in Information Technology, pages 67-74, 2008, Australian Computer Society. [bibtex]
[2]	Parameterized Graph Editing with Chosen Vertex Degrees Luke Mathieson, Stefan Szeider Combinatorial Optimization and Applications, Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings (Boting Yang, Ding-Zhu Du, Cao An Wang, eds.), volume 5165 of Lecture Notes in Computer Science, pages 13-22, 2008, Springer Verlag. [bibtex] [doi]
[1]	The Parameterized Complexity of Regular Subgraph Problems and Generalizations Luke Mathieson, Stefan Szeider Proceedings of CATS 2008, Computing: The Australasian Theory Symposium, University of Wollongong, New South Wales, Australia, January 22-25, 2008 (J. Harland, P. Manyem, eds.), volume 77 of Conferences in Research and Practice in Information Technology, pages 79-86, 2008, Australian Computer Society. [bibtex]

2007

9 results

2007
[9]	Solving #SAT using Vertex Covers Naomi Nishimura, Prabhakar Ragde, Stefan Szeider Acta Informatica, volume 44, number 7-8, pages 509-523, 2007. [bibtex] [pdf]
[8]	The Linear Arrangement Problem Parameterized Above Guaranteed Value Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo Theory Comput. Syst., volume 41, pages 521-538, 2007. [bibtex] [pdf]
[7]	Without Loss of Generality - Symmetric Reasoning for Resolution Systems (Invited Talk) Stefan Szeider Proceedings of SymCon'07, Seventh International Workshop on Symmetry and Constraint Satisfaction Problems, satellite workshop of CP 2007, September 23, 2007, Providence, RI, USA (B. Benhamou, ed.), pages 5-8, 2007. [bibtex] [pdf]
[6]	Matched Formulas and Backdoor Sets Stefan Szeider Proceedings of SAT 2007, Tenth International Conference on Theory and Applications of Satisfiability Testing, May 28-31, 2007, Lisbon, Portugal, (J. Marques-Silva, K. A. Sakallah, eds.), volume 4501 of Lecture Notes in Computer Science, pages 94-99, 2007. [bibtex]
[5]	Algorithms for Propositional Model Counting Marko Samer, Stefan Szeider Proceedings of LPAR 2007, 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, October 15-19, 2007 Yerevan, Armenia, volume 4790 of Lecture Notes in Computer Science, pages 484-498, 2007, Springer Verlag. [bibtex]
[4]	Backdoor Sets of Quantified Boolean Formulas Marko Samer, Stefan Szeider Proceedings of SAT 2007, Tenth International Conference on Theory and Applications of Satisfiability Testing, May 28-31, 2007, Lisbon, Portugal, (J. Marques-Silva, K. A. Sakallah, eds.), volume 4501 of Lecture Notes in Computer Science, pages 230–243, 2007. [bibtex]
[3]	Covering Graphs with Few Complete Bipartite Subgraphs Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings (Vikraman Arvind, Sanjiva Prasad, eds.), volume 4855 of Lecture Notes in Computer Science, pages 340-351, 2007, Springer Verlag. [bibtex] [doi]
[2]	On the Complexity of Some Colorful Problems Parameterized by Treewidth Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Stefan Szeider, Carsten Thomassen Proceedings of COCOA 2007, Combinatorial Optimization and Applications, First International Conference, Xi'an, China, August 14-16, 2007, volume 4616 of Lecture Notes in Computer Science, pages 366-377, 2007, Springer Verlag. [bibtex]
[1]	Parameterized Proof Complexity Stefan Dantchev, Barnaby Martin, Stefan Szeider Proceedings of the 48th Annual Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, pages 150-160, 2007, IEEE Press. [bibtex]

2006

7 results

2006
[7]	A note on unsatisfiable k-CNF formulas with few occurrences per variable Shlomo Hoory, Stefan Szeider SIAM J. Discrete Math., volume 20, number 2, pages 523-528, 2006. [bibtex] [pdf]
[6]	On Finding Short Resolution Refutations and Small Unsatisfiable Subsets Michael R. Fellows, Stefan Szeider, Graham Wrightson Theoretical Computer Science, volume 351, number 3, pages 351-359, 2006. [bibtex] [pdf]
[5]	Constraint satisfaction with bounded treewidth revisited Marko Samer, Stefan Szeider Proceedings of CP 2006 , Twelfth International Conference on Principles and Practice of Constraint Programming, September 24-29, 2006, Nantes, France, volume 4204 of Lecture Notes in Computer Science, pages 499-513, 2006. Note: Full version appeared in Constraints [bibtex]
[4]	Solving #SAT using Vertex Covers Naomi Nishimura, Prabhakar Ragde, Stefan Szeider Proceedings of SAT 2006, Ninth International Conference on Theory and Applications of Satisfiability Testing, August 12-15, 2006, Seattle, Washington, USA, volume 4121 of Lecture Notes in Computer Science, pages 396-409, 2006. [bibtex]
[3]	Fixed-Parameter Complexity of Minimum Profile Problems Gregory Gutin, Anders Yeo, Stefan Szeider Proceedings of IWPEC 2006, 2nd International Workshop on Parameterized and Exact Computation, volume 4169 of Lecture Notes in Computer Science, pages 60-71, 2006, Springer Verlag. [bibtex]
[2]	The Linear Arrangement Problem Parameterized Above Guaranteed Value Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo Algorithms and Complexity, 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings (Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano, eds.), volume 3998 of Lecture Notes in Computer Science, pages 356-367, 2006, Springer Verlag. [bibtex] [doi]
[1]	Clique-width Minimization is NP-hard Michael R. Fellows, Frances A. Rosamond, Udi Rotics, Stefan Szeider Proceedings of STOC 2006; the 38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, pages 354-362, 2006, Assoc. Comput. Mach., New York. Note: Full version appeared in the SIAM Journal on Discrete Mathematics vol. 23, no. 2, pp. 909-939, 2009 [bibtex]

2005

5 results

2005
[5]	The Complexity of Resolution with Generalized Symmetry Rules Stefan Szeider Theory Comput. Syst., volume 38, number 2, pages 171-188, 2005. [bibtex] [pdf]
[4]	Backdoor Sets for DLL Subsolvers Stefan Szeider Journal of Automated Reasoning, volume 35, number 1-3, pages 73-88, 2005. Note: Reprinted as Chapter 4 of the book SAT 2005 - Satisfiability Research in the Year 2005, edited by E. Giunchiglia and T. Walsh, Springer Verlag, 2006 [bibtex] [pdf]
[3]	Generalizations of matched CNF formulas Stefan Szeider Ann. Math. Artif. Intell., volume 43, number 1-4, pages 223-238, 2005. [bibtex] [pdf]
[2]	Computing unsatisfiable k-SAT instances with few occurrences per variable Shlomo Hoory, Stefan Szeider Theoretical Computer Science, volume 337, number 1-3, pages 347-359, 2005. Note: Supplementary material is available at https://www.ac.tuwien.ac.at/files/pub/HoorySzeider05.tar.gz [bibtex] [pdf]
[1]	On Edge-Colored Graphs Covered by Properly Colored Cycles Herbert Fleischner, Stefan Szeider Graphs and Combinatorics, volume 21, number 3, pages 301-206, 2005. [bibtex] [pdf]

2004

7 results

2004
[7]	Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable Stefan Szeider Journal of Computer and System Sciences, volume 69, number 4, pages 656-674, 2004. [bibtex] [pdf] [cites]
[6]	On Theorems Equivalent with Kotzig's Result on Graphs with Unique 1-Factors Stefan Szeider Ars Combinatoria, volume 73, pages 53-64, 2004. [bibtex] [pdf] [cites]
[5]	On fixed-parameter tractable parameterizations of SAT Stefan Szeider Theory and Applications of Satisfiability, 6th International Conference, SAT 2003, Selected and Revised Papers (Enrico Giunchiglia, Armando Tacchella, eds.), volume 2919 of Lecture Notes in Computer Science, pages 188-202, 2004, Springer Verlag. [bibtex] [pdf] [cites]
[4]	The Parameterized Complexity of SAT Backdoors Stefan Szeider Computing: The Australasian Theory Symposium (CATS 2004) (Mike Atkinson, ed.), pages 252-261, 2004. Note: Informal Proceedings [bibtex]
[3]	Detecting Backdoor Sets with Respect to Horn and Binary Clauses Naomi Nishimura, Prabhakar Ragde, Stefan Szeider Proceedings of SAT 2004 (Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May, 2004, Vancouver, BC, Canada), pages 96-103, 2004. [bibtex] [pdf] [cites]
[2]	Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable Shlomo Hoory, Stefan Szeider SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004. [bibtex]
[1]	On Finding Short Resolution Refutations and Small Unsatisfiable Subsets Michael R. Fellows, Stefan Szeider, Graham Wrightson 1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey, Michael Fellows, Frank Dehne, eds.), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer Verlag. [bibtex]

2003

5 results

2003
[5]	Homomorphisms of Conjunctive Normal Forms Stefan Szeider Discr. Appl. Math., volume 130, number 2, pages 351-365, 2003. [bibtex] [pdf] [cites]
[4]	Finding paths in graphs avoiding forbidden transitions Stefan Szeider Discr. Appl. Math., volume 126, number 2-3, pages 239-251, 2003. [bibtex] [pdf] [cites]
[3]	Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable Stefan Szeider Proceedings of the 9th International Computing and Combinatorics Conference (COCOON'03) (T. Warnow, B. Zhu, eds.), volume 2697 of Lecture Notes in Computer Science, pages 548-558, 2003, Springer Verlag. [bibtex]
[2]	The complexity of resolution with generalized symmetry rules Stefan Szeider Proceedings of the 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03) (Helmut Alt, Michel Habib, eds.), volume 2607 of Lecture Notes in Computer Science, pages 475-486, 2003. [bibtex]
[1]	Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable Stefan Szeider 2003, Technical report TR03-002, Revision 1, Electronic Colloquium on Computational Complexity (ECCC). [bibtex] [pdf]

2002

2 results

2002
[2]	Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference Herbert Fleischner, Oliver Kullmann, Stefan Szeider Theoretical Computer Science, volume 289, number 1, pages 503-516, 2002. [bibtex] [pdf] [cites]
[1]	Generalizations of matched CNF formulas Stefan Szeider Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002) Cincinnati, Ohio, USA, May 6-9, 2002 (John Franco, ed.), pages 292-307, May 2002. [bibtex]

2001

2 results

2001
[2]	NP-Completeness of Refutability by Literal-Once Resolution Stefan Szeider IJCAR 2001, Proceedings of the International Joint Conference on Automated Reasoning (R. Goré, A. Leitsch, T. Nipkow, eds.), volume 2083 of Lecture Notes in Artificial Intelligence, pages 168-181, 2001, Springer Verlag. [bibtex]
[1]	Conjunctive Normal Forms with Bounded Deficiency Stefan Szeider September 2001, PhD thesis, University of Vienna. [bibtex]

Contact Information

Address:
Stefan Szeider
Technische Universität Wien
Institut für Computergraphik und Algorithmen 186/1
Favoritenstraße 9–11
1040 Wien
Austria

Room:	HC0401 (how to get there)
Phone:	+43(1)58801–186101
Email:	sz@ac.tuwien.ac.at