⬅️ Zurück zum Profil
2026
Alexis De Colnet, Sebastian Ordyniak, Stefan Szeider
Artificial Intelligence, volume 351, pages 104458, 2026.
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
Algorithmica, volume 88, number 1, pages 8, 2026.
Serge Gaspers, Stefan Szeider
Computer Science Review, volume 60, pages 100868, 2026.
Markus Kirchweger, Tom\'as Peitl, David Seka, Stefan Szeider
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
Artificial Intelligence, volume 350, pages 104441, 2026.
Ordyniak, Sebastian, Rychlicki, Mateusz, Szeider, Stefan
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear
2025
Carlos Ans\'otegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia
Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7-9, 2025, Proceedings, Part II (Michael H. Lees and Wentong Cai and Siew Ann Cheong and Yi Su and David Abramson and Jack J. Dongarra and Peter M. A. Sloot), volume 15904 of Lecture Notes in Computer Science, pages 35-49, 2025, Springer.
Juha Harviainen, Frank Sommer, Manuel Sorge, Stefan Szeider
Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025, 2025, OpenReview.net.
Mikol\'as Janota, Markus Kirchweger, Tom\'as Peitl, Stefan Szeider
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA (Toby Walsh and Julie Shah and Zico Kolter), pages 11246-11254, 2025, AAAI Press.
Andr\'e Schidler, Stefan Szeider
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 26:1-26:18, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Andr\'e Schidler, Stefan Szeider
SOCS 2025, The 18th International Symposium on Combinatorial Search. August 12-15, 2025. University of Glasgow, Scotland, United Kingdom, 2025.
Szeider, Stefan
Creative Mathematical Sciences Communication (Fernau, Henning and Schwank, Inge and Staub, Jacqueline), pages 194-204, 2025, Springer Nature Switzerland.
Stefan Szeider
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 30:1-30:12, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Stefan Szeider
Satisfiability Checking and Symbolic Computation, 10th International Workshop, SC-Square 2025, Stuttgart, Germany, August 2, 2025, co-located with CADE 2025, volume 4116 of CEUR Workshop Proceedings, pages 1-11, 2025, CEUR-WS.org.
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda), volume 340 of LIPIcs, pages 36:1-36:17, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Voboril, Florentina, Peruvemba Ramaswamy, Vaidyanathan, Szeider, Stefan
2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 17-22, 5 2025, IEEE.
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Journal of Artificial Intelligence Research, volume 84, pages 16:1-16:19, 2025.
Tianwei Zhang, Stefan Szeider
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda), volume 340 of LIPIcs, pages 39:1-39:19, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
2024
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 7978-7986, 2024, AAAI Press.
Chew, Leroy, de Colnet, Alexis, Szeider, Stefan
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pages 253-263, 8 2024.
Konrad Dabrowski, Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 10476-10483, 2024, AAAI Press.
Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson), pages 3315-3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
Jan Dreier, Sebastian Ordyniak, Stefan Szeider
Journal of Computer and System Sciences, volume 142, pages 103520, 2024.
Robert Ganian, Viktoriia Korchemna, Stefan Szeider
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson), pages 3377-3385, 8 2024, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
Markus Kirchweger, Stefan Szeider
ACM Transactions on Computational Logic, volume 25, number 3, 2024.
Markus Kirchweger, Stefan Szeider
The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
Journal of Artificial Intelligence Research, volume 81, pages 989-1017, 2024.
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 10662-10669, 2024, AAAI Press.
Ordyniak, Sebastian, Paesani, Giacomo, Rychlicki, Mateusz, Szeider, Stefan
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pages 563-573, 8 2024.
Sebastian Ordyniak, Andre Schidler, Stefan Szeider
Journal of Computer and System Sciences, volume 144, pages 103547, 2024.
Ramaswamy, Vaidyanathan Peruvemba, Szeider, Stefan, Xia, Hai
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), pages 371-378, 2024.
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Chakraborty, Supratik and Jiang, Jie-Hong Roland), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:14, 2024, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
2024, Technical report AC-TR-24-001, Algorithms and Complexity Group, TU Wien.
Andr\'e Schidler, Stefan Szeider
Journal of Artificial Intelligence Research, volume 80, pages 875-918, 2024.
Andr\'e Schidler, Stefan Szeider
The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Hai Xia, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 8191-8199, 2024, AAAI Press.
Tianwei Zhang, Tom\'a\vs Peitl, Stefan Szeider
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Chakraborty, Supratik and Jiang, Jie-Hong Roland), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 31:1-31:22, 2024, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
2023
Jan Dreier, Sebastian Ordyniak, Stefan Szeider
Constraints, volume 28, number 3, pages 450-471, 2023.
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands (Neeldhara Misra and Magnus Wahlström), volume 285 of LIPIcs, pages 16:1-16:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
Journal of Computer and System Sciences, volume 134, pages 1-19, 2023.
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
Proceedings of the 40th International Conference on Machine Learning, ICML 2023, pages 9060-9070, 2023, PMLR.
Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
The 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19--25, 2023, Macao, S.A.R. (Edith Elkind), pages 3184-3192, 2023, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 8:1-8:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Johannes K. Fichte, Markus Hecher, Stefan Szeider
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 (Brian Williams and Yiling Chen and Jennifer Neville), pages 6363-6371, 2023, AAAI Press.
Johannes K. Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider
Communications of the ACM, volume 66, number 6, pages 64-72, June 2023.
Markus Kirchweger, Tom\'a\vs Peitl, Stefan Szeider
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 1944-1953, 2023, ijcai.org.
Note: Main Track
Markus Kirchweger, Tom\'a\vs Peitl, Stefan Szeider
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 13:1-13:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 14:1-14:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 3312-3320, 2023, ijcai.org.
Tom\'a\vs Peitl, Stefan Szeider
Discr. Appl. Math., volume 337, pages 173-184, 2023.
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 (Brian Williams and Yiling Chen and Jennifer Neville), pages 4087-4094, 2023, AAAI Press.
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Proceedings of the 32nd International Workshop on Logic \& Synthesis (IWLS), 2023.
Andre Schidler, Stefan Szeider
The 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19--25, 2023, Macao, S.A.R. (Edith Elkind), pages 2013-2021, 2023, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
Andre Schidler, Stefan Szeider
J. Exp. Algorithmics, volume 2825, number 1.5, pages 1-19, 2023.
Andr\'e Schidler, Stefan Szeider
Artificial Intelligence, volume 325, pages 104015, 2023.
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap), volume 280 of LIPIcs, pages 48:1-48:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Tianwei Zhang, Stefan Szeider
Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap), volume 280 of LIPIcs, pages 39:1-39:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
2022
Jan Dreier, Sebastian Ordyniak, Stefan Szeider
28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel (Christine Solnon), volume 235 of LIPIcs, pages 20:1-20:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Jan Dreier, Sebastian Ordyniak, Stefan Szeider
30th Annual European Symposium on Algorithms (ESA 2022) (Chechik, Shiri and Navarro, Gonzalo and Rotenberg, Eva and Herman, Grzegorz), volume 244 of Leibniz International Proceedings in Informatics (LIPIcs), pages 46:1-46:18, 2022, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
Wolfgang Dvorak, Markus Hecher, Matthias König, Andre Schidler, Stefan Szeider, Stefan Woltran
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 5608-5615, 2022, AAAI Press.
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
30th Annual European Symposium on Algorithms (ESA 2022) (Chechik, Shiri and Navarro, Gonzalo and Rotenberg, Eva and Herman, Grzegorz), volume 244 of Leibniz International Proceedings in Informatics (LIPIcs), pages 47:1-47:14, 2022, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider
Journal of Artificial Intelligence Research, volume 33, pages 535-552, 2022.
Robert Ganian, Eun Jung Kim, Stefan Szeider
SIAM J. Discrete Math., volume 36, number 4, pages 2635-2666, 2022.
Robert Ganian, Jan Kratochv\'il, Stefan Szeider
Discr. Appl. Math., volume 312, pages 1-2, 2022.
Robert Ganian, Andre Schidler, Manuel Sorge, Stefan Szeider
Journal of Artificial Intelligence Research, volume 74, pages 1687-1713, 2022.
Robert Ganian, Filip Pokr\' yvka, Andre Schidler, Kirill Simonov, Stefan Szeider
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 15:1-15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Markus Kirchweger, Manferd Scheucher, Stefan Szeider
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 4:1-4:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Andr\'e Schidler, Stefan Szeider
Proceedings of ALENEX 2022, the 24nd SIAM Symposium on Algorithm Engineering and Experiments (Cynthia A. Phillips and Bettina Speckmann), pages 67-77, 2022, SIAM.
Stefan Szeider, Robert Ganian, Alexandra Silva
47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria, volume 241 of LIPIcs, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
38th Conference on Uncertainty in Artificial Intelligence (UAI 2022), Eindhoven, Netherlands, August 1--5, 2022 (James Cussens and Kun Zhang), pages 180:1592–1601, 2022.
2021
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 7296-7304, 2021, AAAI Press.
Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
2021, Technical report AC-TR-21-007, Algorithms and Complexity Group, TU Wien.
Ganian, Robert, Szeider, Stefan
Artificial Intelligence, volume 295, pages 103460, 2021.
Markus Kirchweger, Stefan Szeider
Proceeings of CP 2021, the 27th International Conference on Principles and Practice of Constraint Programming (Laurent D. Michel), pages 39:1–-39:17, 2021, Dagstuhl Publishing.
Sebastian Ordyniak, Andre Schidler, Stefan Szeider
Proceeding of IJCAI-2021, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou), pages 1403-1409, 2021.
Sebastian Ordyniak, Andr\'e Schidler, Stefan Szeider
2021, Technical report AC-TR-21-001, Algorithms and Complexity Group, TU Wien.
Sebastian Ordyniak, Stefan Szeider
Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6454-6462, 2021, AAAI Press.
Sebastian Ordyniak, Andr\'e Schidler, Stefan Szeider
2021, Technical report AC-TR-21-002, Algorithms and Complexity Group, TU Wien.
Tom\'a\vs Peitl, Stefan Szeider
Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou), pages 4814-4818, 2021.
Note: Sister Conferences Best Papers
Tom\'a\vs Peitl, Stefan Szeider
Journal of Artificial Intelligence Research, volume 72, pages 69-97, 2021.
Note: Conference Award Track, best paper CP 2020
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
2021, Technical report AC-TR-21-010, Algorithms and Complexity Group, TU Wien.
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li and Felip Many\`a), volume 12831 of Lecture Notes in Computer Science, pages 499-517, 2021, Springer.
Marko Samer, Stefan Szeider
Chapter in Handbook of Satisfiability, 2nd Edition (Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh), pages 693-736, 2021, IOS Press.
Marko Samer, Stefan Szeider
2021, Technical report AC-TR-21-004, Algorithms and Complexity Group, TU Wien.
Note: Chapter 17, Handbook of Satisfiability, 2nd Edition, 2021
Andr\'e Schidler, Stefan Szeider
Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3904-3912, 2021, AAAI Press.
Andre Schidler, Stefan Szeider
Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou), 2021.
Andr\'e Schidler, Stefan Szeider
2021, Technical report AC-TR-21-003, Algorithms and Complexity Group, TU Wien.
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3895-3903, 2021, AAAI Press.
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceedings of NeurIPS 2021, the Thirty-fifth Conference on Neural Information Processing Systems (M. Ranzato and A. Beygelzimer and K. Nguyen and P.S. Liang and J.W. Vaughan and Y. Dauphin), pages 17852-17863, 2021.
2020
Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider
ACM Trans. Comput. Theory, volume 12, number 4, pages 22:1-22:32, 2020.
Johannes K. Fichte, Markus Hecher, Stefan Szeider
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 267-285, 2020, Springer Verlag.
Johannes K. Fichte, Markus Hecher, Stefan Szeider
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 286-303, 2020, Springer Verlag.
Johannes K. Fichte, Markus Hecher, Stefan Szeider
2020, Technical report AC-TR-20-010, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
Proceeding of AAAI-20, the Thirty-Fourth AAAI Conference on Artificial Intelligence, February 7--12, 2020, New York, pages 3906-3913, 2020, AAAI Press.
Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
2020, Technical report AC-TR-20-002, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Diego Calvanese and Esra Erdem and Michael Thielscher), pages 392-402, 2020.
Robert Ganian, Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
2020, Technical report AC-TR-20-011, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Andre Schidler, Manuel Sorge, Stefan Szeider
Proceeding of IJCAI-PRICAI2020, the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, pages 1898-1904, 2020.
Robert Ganian, Andre Schidler, Manuel Sorge, Stefan Szeider
2020, Technical report AC-TR-20-005, Algorithms and Complexity Group, TU Wien.
Laura Kov\'acs, Hanna Lachnitt, Stefan Szeider
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Christoph Benzmüller and Bruce R. Miller), volume 12236 of Lecture Notes in Computer Science, pages 190-205, 2020, Springer Verlag.
Laura Kov\'acs, Hanna Lachnitt, Stefan Szeider
2020, Technical report AC-TR-20-012, Algorithms and Complexity Group, TU Wien.
Tom\'a\vs Peitl, Stefan Szeider
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 514-530, 2020, Springer Verlag.
Note: Best Paper Award
Tom\'a\vs Peitl, Stefan Szeider
2020, Technical report AC-TR-20-008, Algorithms and Complexity Group, TU Wien.
Andr\'e Schidler, Stefan Szeider
Proceedings of ALENEX 2020, the 22nd SIAM Symposium on Algorithm Engineering and Experiments (Guy Blelloch and Irene Finocchi), pages 1-11, 2020, SIAM.
Andr\'e Schidler, Stefan Szeider
2020, Technical report AC-TR-20-001, Algorithms and Complexity Group, TU Wien.
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider
Proceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina and Martina Seidl), volume 12178 of Lecture Notes in Computer Science, pages 412-428, 2020, Springer Verlag.
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider
2020, Technical report AC-TR-20-007, Algorithms and Complexity Group, TU Wien.
Friedrich Slivovsky, Stefan Szeider
Proceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina and Martina Seidl), volume 12178 of Lecture Notes in Computer Science, pages 267-276, 2020, Springer Verlag.
Friedrich Slivovsky, Stefan Szeider
2020, Technical report AC-TR-20-006, Algorithms and Complexity Group, TU Wien.
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis), volume 12333 of Lecture Notes in Computer Science, pages 478-495, 2020, Springer Verlag.
Vaidyanathan P. R., Stefan Szeider
2020, Technical report AC-TR-20-009, Algorithms and Complexity Group, TU Wien.
2019
de Haan, Ronald, Stefan Szeider
MDPI Algorithms, volume 12, number 9, pages 1-28, 2019.
Eduard Eiben, Robert Ganian, Iyad Kanj, Stefan Szeider
Proceedings of NeurIPS 2019, the Thirty-third Conference on Neural Information Processing Systems (Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alch\'e-Buc and Emily B. Fox and Roman Garnett), pages 7666-7676, 2019.
Eduard Eiben, Robert Ganian, Iyad Kanj, Stefan Szeider
2019, Technical report AC-TR-19-009, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Proceedings of ALENEX 2019, the 21st Workshop on Algorithm Engineering and Experiments (Stephen G. Kobourov and Henning Meyerhenke), pages 117-129, 2019, SIAM.
Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2019, Technical report AC-TR-19-001, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Sebastian Ordyniak, Stefan Szeider
Proceedings of CP 2019, the 25th International Conference on Principles and Practice of Constraint Programming (Thomas Schiex and Simon de Givry), volume 11802 of Lecture Notes in Computer Science, pages 195-212, 2019, Springer Verlag.
Robert Ganian, Sebastian Ordyniak, Stefan Szeider
2019, Technical report AC-TR-19-006, Algorithms and Complexity Group, TU Wien.
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
ACM Transactions on Computational Logic, volume 20, number 3, pages 15:1-15:24, 2019.
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2019, Technical report AC-TR-19-010, Algorithms and Complexity Group, TU Wien.
Dani\"el~Paulusma, Stefan Szeider
Information Processing Letters, volume 143, pages 34-36, 2019.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Journal of Automated Reasoning, volume 63, number 1, pages 127-155, 2019.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Journal of Artificial Intelligence Research, volume 65, pages 180-208, 2019.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Proceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7--12, 2019, Lisbon, Portugal (Mikol\'a\vs Janota and In\^es Lynce), volume 11628 of Lecture Notes in Computer Science, pages 306-318, 2019, Springer Verlag.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Proceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7--12, 2019, Lisbon, Portugal (Mikol\'a\vs Janota and In\^es Lynce), volume 11628 of Lecture Notes in Computer Science, pages 319-335, 2019, Springer Verlag.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
2019, Technical report AC-TR-19-004, Algorithms and Complexity Group, TU Wien.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
2019, Technical report AC-TR-19-005, Algorithms and Complexity Group, TU Wien.
2018
Eduard Eiben, Robert Ganian, Stefan Szeider
Algorithmica, volume 80, number 2, pages 742-771, 2018.
Eduard Eiben, Robert Ganian, Stefan Szeider
Discr. Appl. Math., volume 248, pages 153-167, 2018.
Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider
Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 109-127, 2018, Springer Verlag.
Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider
2018, Technical report AC-TR-18-006, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
Proceeding of ICML, the Thirty-fifth International Conference on Machine Learning, Stockholm, July 10--15, 2018, pages 1642-1651, 2018, JMLR.org.
Note: ISSN: 1938-7228
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider
Proceedings of ICTAI 2018, the 30th IEEE International Conference on Tools with Artificial Intelligence (Lefteri H. Tsoukalas and \'Eric Gr\'egoire and Miltiadis Alamaniotis), pages 733-737, 2018, IEEE.
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider
2018, Technical report AC-TR-18-007, Algorithms and Complexity Group, TU Wien.
Holger H. Hoos, Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 195-209, 2018, Springer Verlag.
Hoos, Holger H., Peitl, Tom\'a\vs, Slivovsky, Friedrich, Szeider, Stefan
QBF Workshop, 2018.
Hoos, Holger H., Peitl, Tom\'a\vs, Slivovsky, Friedrich, Szeider, Stefan
2018.
Note: QBF Evaluation at SAT
Holger H. Hoos, Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
2018, Technical report AC-TR-18-004, Algorithms and Complexity Group, TU Wien.
Dani\"el~Paulusma, Stefan Szeider
2018, Technical report AC-TR-18-008, Algorithms and Complexity Group, TU Wien.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Proceedings of SAT 2018, the 21st International Conference on Theory and Applications of Satisfiability Testing, Part of FLoC 2018, July 9--12, 2018, Oxford, UK (Olaf Beyersdorff and Christoph M. Wintersteiger), volume 10929 of Lecture Notes in Computer Science, pages 253-269, 2018, Springer Verlag.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
2018, Technical report AC-TR-18-003, Algorithms and Complexity Group, TU Wien.
2017
Simone Bova, Stefan Szeider
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 (Emanuel Sallinger and Jan Van den Bussche and Floris Geerts), pages 233-246, 2017, ACM.
Ronald de Haan, Iyad Kanj, Stefan Szeider
2017, Technical report AC-TR-17-009, Algorithms and Complexity Group, TU Wien.
Ronald de Haan, Stefan Szeider
Journal of Computer and System Sciences, volume 87, number AC-TR-17-004, pages 16-57, 2017.
Johannes K. Fichte, Neha Lodha, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 401-411, 2017, Springer Verlag.
Johannes K. Fichte, Neha Lodha, Stefan Szeider
2017, Technical report AC-TR-17-015, Algorithms and Complexity Group, TU Wien.
Johannes Klaus Fichte, Stefan Szeider
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. (Bart Bogaerts and Amelia Harrison), volume 1868 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
Robert Ganian, M. S. Ramanujan, Stefan Szeider
2017, Technical report AC-TR-17-014, Algorithms and Complexity Group, TU Wien.
Robert Ganian, M. S. Ramanujan, Stefan Szeider
34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) (Heribert Vollmer and Vall\' ee), volume 66 of Leibniz International Proceedings in Informatics (LIPIcs), pages 36:1-36:17, 2017, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
Robert Ganian, M. S. Ramanujan, Stefan Szeider
ACM Transactions on Algorithms, volume 13, number AC-TR-17-016, pages 29:1-29:32, 2017.
Robert Ganian, M. S. Ramanujan, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 20-37, 2017, Springer Verlag.
Robert Ganian, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 38-52, 2017, Springer Verlag.
Robert Ganian, Stefan Szeider
2017, Technical report AC-TR-17-013, Algorithms and Complexity Group, TU Wien.
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny
Journal of Computer and System Sciences, volume 85, pages 38-56, 2017.
Serge Gaspers, Sebastian Ordyniak, Stefan Szeider
Chapter in The Constraint Satisfaction Problem: Complexity and Approximability (Andrei A. Krokhin and Stanislav Zivny), volume 7 of Dagstuhl Follow-Ups, pages 137-157, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
de Haan, Ronald, Kanj, Iyad, Szeider, Stefan
ACM Transactions on Computational Logic, volume 18, number 3, pages Art. 21, 46, 2017.
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 429-445, 2017, Springer Verlag.
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra), pages 4894-4898, 2017, ijcai.org.
Note: Sister Conference Best Paper Track
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2017, Technical report AC-TR-17-012, Algorithms and Complexity Group, TU Wien.
Moritz Müller, Stefan Szeider
2017, Technical report AC-TR-17-010, Algorithms and Complexity Group, TU Wien.
Moritz Müller, Stefan Szeider
Information and Computation, volume 255, pages 147-164, 2017.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 298-313, 2017, Springer Verlag.
Tom\'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider
2017, Technical report AC-TR-17-011, Algorithms and Complexity Group, TU Wien.
M. S. Ramanujan, Stefan Szeider
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 3929-3935, 2017.
2016
Simone Bova, Ronald de Haan, Neha Lodha, Stefan Szeider
2016, Technical report AC-TR-16-003, Algorithms and Complexity Group, TU Wien.
Simone Bova, Robert Ganian, Stefan Szeider
ACM Transactions on Computational Logic, volume 17, number 2, 2016.
Simone Bova, Robert Ganian, Stefan Szeider
Theoretical Computer Science, volume 618, pages 72-84, 2016.
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 and James P. Delgrande and Frank Wolter), pages 453-462, 2016, AAAI Press.
Ulle Endriss, Ronald de Haan, Stefan Szeider
2016, Technical report AC-TR-16-005, Algorithms and Complexity Group, TU Wien.
Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier), volume 58 of Leibniz International Proceedings in Informatics (LIPIcs), pages 42:1-42:14, 2016, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
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.
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.
Robert Ganian, M.S. Ramanujan, Stefan Szeider
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings (Michel Rueher), volume 9892 of Lecture Notes in Computer Science, pages 233-250, 2016, Springer Verlag.
Robert Ganian, Friedrich Slivovsky, Stefan Szeider
Journal of Computer and System Sciences, volume 82, number 2, pages 333-346, 2016.
Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider
Algorithmica, volume 74, number 1, pages 540-557, 2016.
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 and Daniel Le Berre), volume 9710 of Lecture Notes in Computer Science, pages 179-195, 2016, Springer Verlag.
Dani\"el Paulusma, Friedrich Slivovsky, Stefan Szeider
Algorithmica, volume 76, number 1, pages 168-194, 2016.
Tom\'a\vs 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 and Daniel Le Berre), volume 9710 of Lecture Notes in Computer Science, pages 500-518, 2016, Springer Verlag.
Friedrich Slivovsky, Stefan Szeider
Theoretical Computer Science, volume 612, pages 83-101, 2016.
Slivovsky, Friedrich, Szeider, Stefan
Journal of Automated Reasoning, volume 56, number 4, pages 459-477, 2016.
2015
Bäckström, Christer, Jonsson, Peter, Ordyniak, Sebastian, Szeider, Stefan
Journal of Computer and System Sciences, volume 81, number 7, pages 1311-1332, 2015.
Ronald de Haan, Iyad A. Kanj, Stefan Szeider
Journal of Artificial Intelligence Research, volume 52, pages 203-234, 2015.
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, 1 2015, Springer Verlag.
Ronald de Haan, Stefan Szeider
2015, Technical report AC-TR-15-002, Algorithms and Complexity Group, TU Wien.
Ronald de Haan, Stefan Szeider
2015, Technical report AC-TR-15-009, Algorithms and Complexity Group, TU Wien.
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.
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 and Iyad A. Kanj), volume 43 of LIPIcs, pages 114-126, 2015.
Ulle Endriss, Ronald de Haan, Stefan Szeider
Proceedings of AAMAS 2015, the 14th International Conference on Autonomous Agents and Multiagent Systems (Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind), pages 127-136, 2015, IFAAMAS/ACM.
Johannes Klaus Fichte, Stefan Szeider
Artificial Intelligence, volume 220, pages 64-103, 3 2015.
Johannes Klaus Fichte, Stefan Szeider
ACM Transactions on Computational Logic, volume 17, number 1, 2015.
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.
Robert Ganian, Stefan Szeider
18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas (Marijn Heule and Sean Weaver), pages 223-237, 2015, Springer Verlag.
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider
Theoretical Computer Science, volume 592, pages 49-58, 2015.
Marijn Heule, Stefan Szeider
ACM Transactions on Computational Logic, volume 16, number 3, pages 24, 2015.
Iyad A. Kanj, Stefan Szeider
Theoretical Computer Science, volume 607, pages 282-295, 2015.
2014
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 (Thomas A. Henzinger and Dale Miller), pages 21:1-21:10, 2014, ACM.
Simone Bova, Robert Ganian, Stefan Szeider
Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Marek Cygan and Pinar Heggernes), volume 8894 of Lecture Notes in Computer Science, pages 122-134, 2014, Springer Verlag.
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, IEEE.
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), volume 8656 of Lecture Notes in Computer Science, pages 272-288, 2014, Springer Verlag.
de Haan, Ronald, Stefan Szeider
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (Chitta Baral and Giuseppe De Giacomo and Thomas Eiter), pages 82-91, 2014, AAAI Press.
de Haan, Ronald, 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 and Carsten Sinz), volume 8561 of Lecture Notes in Computer Science, pages 85-102, 2014, Springer Verlag.
de Haan, Ronald, Stefan Szeider
2014, Technical report TR14-143, Electronic Colloquium on Computational Complexity (ECCC).
Endriss, Ulle, de Haan, Ronald, Stefan Szeider
Proceedings of ComSoc'14, Fifth International Workshop on Computational Social Choice Pittsburgh, Pennsylvania, June 23-25, 2014, pages 127-136, 2014.
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\'ebec City, Qu\'ebec, Canada. (Carla E. Brodley and Peter Stone), pages 2652-2658, 2014, AAAI Press.
Gaspers, Serge, Szeider, Stefan
Artificial Intelligence, volume 216, pages 1-19, 2014.
Iyad A. Kanj, Stefan Szeider
Combinatorial Optimization and Applications - 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings (Zhao Zhang and Lidong Wu and Wen Xu and Ding-Zhu Du), volume 8881 of Lecture Notes in Computer Science, pages 637-651, 2014, Springer Verlag.
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
Theory Pract. Log. Program., volume 14, number 2, pages 141-164, 2014.
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 and Uwe Egly), volume 8561 of Lecture Notes in Computer Science, pages 269-284, 2014, Springer Verlag.
2013
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 and Maria J. Serna), volume 7878 of Lecture Notes in Computer Science, pages 13-24, 2013, Springer Verlag.
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 and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 377-393, 2013, Springer Verlag.
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 and Michael L. Littman), pages 224-231, 2013, The AAAI Press.
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 and Michael L. Littman), pages 320-337, 2013, The AAAI Press.
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 and Jiri Sgall), volume 8087 of Lecture Notes in Computer Science, pages 457-468, 2013, Springer Verlag.
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 and Thomas Wilke), volume 20 of LIPIcs, pages 67-79, 2013, Leibniz-Zentrum fuer Informatik.
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.
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 and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 318-334, 2013, Springer Verlag.
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 and Michael L. Littman), pages 459-465, 2013, The AAAI Press.
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 and Sanjay Modgil and Nir Oren), volume 8306 of Lecture Notes in Computer Science, pages 158-175, 2013, Springer Verlag.
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 and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag.
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 and Jiri Sgall), volume 8087 of Lecture Notes in Computer Science, pages 704-716, 2013, Springer Verlag.
Sebastian Ordyniak, Dani\"el Paulusma, Stefan Szeider
Theoretical Computer Science, volume 481, pages 85-99, 2013.
Sebastian Ordyniak, Stefan Szeider
Journal of Artificial Intelligence Research, volume 46, pages 263-302, 2013.
Dani\"el 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 and Thomas Wilke), volume 20 of LIPIcs, pages 55-66, 2013, Leibniz-Zentrum fuer Informatik.
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.
Friedrich Slivovsky, Stefan Szeider
Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (Leizhen Cai and Siu-Wing Cheng and Tak Wah Lam), volume 8283 of Lecture Notes in Computer Science, pages 677-687, 2013, Springer Verlag.
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 and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf), volume 7773 of Lecture Notes in Computer Science, pages 27-37, 2013, Springer Verlag.
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
2012
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 and Bart Selman), 2012, AAAI Press.
Dvor\'ak, Sebastian Ordyniak, Stefan Szeider
Artificial Intelligence, volume 186, pages 157-173, 2012.
Wolfgang Dvor\'ak, Stefan Szeider, Stefan Woltran
Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings (Eyke Hüllermeier and Sebastian Link and Thomas Fober and Bernhard Seeger), volume 7520 of Lecture Notes in Computer Science, pages 85-98, 2012, Springer Verlag.
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
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\'andez-Baca), volume 7256 of Lecture Notes in Computer Science, pages 350-361, 2012, Springer Verlag.
Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann and Bart Selman), 2012, AAAI Press.
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann and Bart Selman), 2012, AAAI Press.
Serge Gaspers, Stefan Szeider
The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday (Hans L. Bodlaender and Rod Downey and Fedor V. Fomin and D\'aniel Marx), volume 7370 of Lecture Notes in Computer Science, pages 287-317, 2012, Springer Verlag.
Serge Gaspers, Stefan Szeider
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer), volume 7391 of Lecture Notes in Computer Science, pages 363-374, 2012, Springer Verlag.
Serge Gaspers, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti and Roberto Sebastiani), volume 7317 of Lecture Notes in Computer Science, pages 72-85, 2012, Springer Verlag.
Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo
Algorithmica, volume 64, number 1, pages 112-125, 2012.
Mathieson, Luke, Szeider, Stefan
Journal of Computer and System Sciences, volume 78, number 1, pages 179-191, 2012.
Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti and Roberto Sebastiani), volume 7317 of Lecture Notes in Computer Science, pages 58-71, 2012, Springer Verlag.
van 't Hof, Pim, Kami\'nski, Marcin, Paulusma, Dani\"el, Szeider, Stefan, Thilikos, Dimitrios M.
Discr. Appl. Math., volume 160, number 6, pages 799-809, 2012.
2011
Alon, Noga, Gutin, Gregory, Kim, Eun Jung, Szeider, Stefan, Yeo, Anders
Algorithmica, volume 61, number 3, pages 638-655, 2011.
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
Computational Complexity, volume 20, number 1, pages 51-85, 2011.
Fellows, Michael R., Fomin, Fedor V., Lokshtanov, Daniel, Rosamond, Frances, Saurabh, Saket, Szeider, Stefan, Thomassen, Carsten
Information and Computation, volume 209, number 2, pages 143-153, 2011.
Johannes Klaus Fichte, Stefan Szeider
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh), pages 863-868, 2011, AAAI Press/IJCAI.
Serge Gaspers, Stefan Szeider
10 2011, Technical report 1110.6384, Arxiv.org.
Serge Gaspers, Stefan Szeider
10 2011, Technical report 1110.6387, Arxiv.org.
Serge Gaspers, Stefan Szeider
Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011) (Jimmy Ho-Man Lee), volume 6876 of Lecture Notes in Computer Science, pages 302-316, 2011, Springer Verlag.
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), pages 540-545, 2011, IJCAI/AAAI.
Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo
Journal of Computer and System Sciences, volume 77, number 2, pages 422-429, 2011.
Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
Artificial Intelligence, volume 175, pages 1722-1736, 2011.
Sebastian Ordyniak, Dani\"el 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 and Laurent Simon), volume 6695 of Lecture Notes in Computer Science, pages 47-60, 2011, Springer Verlag.
Sebastian Ordyniak, Stefan Szeider
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh), pages 1033-1038, 2011, AAAI Press/IJCAI.
Marko Samer, Stefan Szeider
Constraints, volume 16, number 1, pages 1-24, 2011.
Stefan Szeider
ACM Transactions on Computational Logic, volume 12, number 2, pages article 12, 2011.
Stefan Szeider
Proceedings of the Twenty-Fifth Conference on Artificial Intelligence, AAAI 2011, pages 93-98, 2011, AAAI Press, Menlo Park, California.
Szeider, Stefan
Discrete Optim., volume 8, number 1, pages 139-145, 2011.
2010
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), pages 511-517, 2010, SIAM.
Dvor\'ak, Stefan Szeider, Stefan Woltran
Computational Models of Argumentation, Proceedings of COMMA 2010 (Pietro Baroni and Federico Cerutti and Massimiliano Giacomin and Guillermo R. Simari), volume 216 of Frontiers in Artificial Intelligence and Applications, pages 219-230, 2010.
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 and Saket Saurabh), volume 6478 of Lecture Notes in Computer Science, pages 158-169, 2010, Springer Verlag.
Pim van 't Hof, Marcin Kaminski, Dani\"el 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\'yn, Czech Republic, January 23-29, 2010. Proceedings (Jan van Leeuwen and Anca Muscholl and David Peleg and Jaroslav Pokorn\'y and Bernhard Rumpe), volume 5901 of Lecture Notes in Computer Science, pages 503-514, 2010, Springer Verlag.
Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
Computational Models of Argumentation, Proceedings of COMMA 2010 (Pietro Baroni and Federico Cerutti and Massimiliano Giacomin and Guillermo R. Simari), volume 216 of Frontiers in Artificial Intelligence and Applications, pages 311-322, 2010.
Sebastian Ordyniak, Dani\"el 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 and Meena Mahajan), volume 8 of LIPIcs, pages 84-95, 2010, Leibniz-Zentrum fuer Informatik.
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 and Peter Spirtes), 2010, AUAI Press, Corvallis, Oregon.
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 and Ulrike Sattler and Miroslaw Truszczynski), 2010, AAAI Press.
Samer, Marko, Szeider, Stefan
J. Discrete Algorithms, volume 8, number 1, pages 50-64, 2010.
Marko Samer, Stefan Szeider
Journal of Computer and System Sciences, volume 76, number 2, pages 103-114, 2010.
2009
Fellows, Michael R., Rosamond, Frances A., Rotics, Udi, Szeider, Stefan
SIAM J. Discrete Math., volume 23, number 2, pages 909-939, 2009.
Herbert Fleischner, Egbert Mujuni, Dani\"el Paulusma, Stefan Szeider
Theoretical Computer Science, volume 410, number 21-23, pages 2045-2053, 2009.
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 and Fedor V. Fomin), volume 5917 of Lecture Notes in Computer Science, pages 234-245, 2009, Springer Verlag.
Samer, Marko, Szeider, Stefan
Journal of Automated Reasoning, volume 42, number 1, pages 77-97, 2009.
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), volume 5584 of Lecture Notes in Computer Science, pages 276-283, 2009, Springer Verlag.
Stefan Szeider
J on Satisfiability, Boolean Modeling and Computation, volume 6, pages 1-12, 2009.
2008
Georg Gottlob, Stefan Szeider
The Computer Journal, volume 51, number 3, pages 303-325, 2008.
Note: Survey paper
Gutin, Gregory, Szeider, Stefan, Yeo, Anders
Algorithmica, volume 52, number 2, pages 133-152, 2008.
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 and P. Manyem), volume 77 of Conferences in Research and Practice in Information Technology, pages 79-86, 2008, Australian Computer Society.
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 and Ding-Zhu Du and Cao An Wang), volume 5165 of Lecture Notes in Computer Science, pages 13-22, 2008, Springer Verlag.
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 and P. Manyem), volume 77 of Conferences in Research and Practice in Information Technology, pages 67-74, 2008, Australian Computer Society.
Marko Samer, Stefan Szeider
AAAI 08, Twenty-Third Conference on Artificial Intelligence, Chicago, Illinois, July 13-17, 2008, pages 363-368, 2008, AAAI Press.
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.
Stefan Szeider
Chapter in Encyclopedia of Algorithms (Ming-Yang Kao), 2008, Springer Verlag.
Stefan Szeider
ICDM 2008, International Conference on Discrete Mathematics, June 6-10, 2008, Mysore, India, Proceedings, pages 161-171, 2008.
2007
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.
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.
Herbert Fleischner, Egbert Mujuni, Dani\"el 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 and Sanjiva Prasad), volume 4855 of Lecture Notes in Computer Science, pages 340-351, 2007, Springer Verlag.
Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo
Theory Comput. Syst., volume 41, pages 521-538, 2007.
Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
Acta Informatica, volume 44, number 7-8, pages 509-523, 2007.
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 and K. A. Sakallah), volume 4501 of Lecture Notes in Computer Science, pages 230-243, 2007.
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.
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 and K. A. Sakallah), volume 4501 of Lecture Notes in Computer Science, pages 94-99, 2007.
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), pages 5-8, 2007.
2006
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, ACM.
Michael R. Fellows, Stefan Szeider, Graham Wrightson
Theoretical Computer Science, volume 351, number 3, pages 351-359, 2006.
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 and Irene Finocchi and Giuseppe F. Italiano), volume 3998 of Lecture Notes in Computer Science, pages 356-367, 2006, Springer Verlag.
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.
Shlomo Hoory, Stefan Szeider
SIAM J. Discrete Math., volume 20, number 2, pages 523-528, 2006.
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.
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
2005
Herbert Fleischner, Stefan Szeider
Graphs and Combinatorics, volume 21, number 3, pages 301-206, 2005.
Stefan Szeider
Ann. Math. Artif. Intell., volume 43, number 1-4, pages 223-238, 2005.
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
Stefan Szeider
Theory Comput. Syst., volume 38, number 2, pages 171-188, 2005.
2004
Michael R. Fellows, Stefan Szeider, Graham Wrightson
1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey and Michael Fellows and Frank Dehne), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer.
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.
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.
Stefan Szeider
Computing: The Australasian Theory Symposium (CATS 2004) (Mike Atkinson), pages 252-261, 2004.
Note: Informal Proceedings
Stefan Szeider
Theory and Applications of Satisfiability, 6th International Conference, SAT 2003, Selected and Revised Papers (Enrico Giunchiglia and Armando Tacchella), volume 2919 of Lecture Notes in Computer Science, pages 188-202, 2004, Springer Verlag.
Stefan Szeider
Ars Combinatoria, volume 73, pages 53-64, 2004.
Stefan Szeider
Journal of Computer and System Sciences, volume 69, number 4, pages 656-674, 2004.
2003
Stefan Szeider
Discr. Appl. Math., volume 126, number 2-3, pages 239-251, 2003.
Stefan Szeider
2003, Technical report TR03-002, Revision~1, Electronic Colloquium on Computational Complexity (ECCC).
Stefan Szeider
Proceedings of the 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03) (Helmut Alt and Michel Habib), volume 2607 of Lecture Notes in Computer Science, pages 475-486, 2003.
Stefan Szeider
Proceedings of the 9th International Computing and Combinatorics Conference (COCOON'03) (T. Warnow and B. Zhu), volume 2697 of Lecture Notes in Computer Science, pages 548-558, 2003, Springer Verlag.
Stefan Szeider
Discr. Appl. Math., volume 130, number 2, pages 351-365, 2003.
2002
Fleischner, Herbert, Kullmann, Oliver, Szeider, Stefan
Theoretical Computer Science, volume 289, number 1, pages 503-516, 2002.
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), pages 292-307, 5 2002.
2001
Stefan Szeider
IJCAR 2001, Proceedings of the International Joint Conference on Automated Reasoning (R. Gor\'e and A. Leitsch and T. Nipkow), volume 2083 of Lecture Notes in Artificial Intelligence, pages 168-181, 2001, Springer Verlag.
Conjunctive Normal Forms with Bounded Deficiency
Stefan Szeider
9 2001, PhD thesis, University of Vienna.