Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI (Research Project)

• Funding organization: Vienna Science and Technology Fund (WWTF)
• Call: Information and Communication Technologies (ICT- 19)
• Project number: ICT19-065 (Reveal-AI)

 

Project Team

• Wolfgang Dvorak
• Markus Hecher
• Matthias König
• Vaidyanathan P. R.
• Anna Rapberger
• André Schidler
• Stefan Szeider (PI)
• Stefan Woltran (co-PI)

Topic

At the core of several critical areas of AI and reasoning are hard-to-solve computational problems, such as the processing of constraints, carrying out sound reasoning tasks, and the verification of the correctness of procedures and protocols. All these problems are in general intractable and pose a challenge to algorithm design, even more as today’s applications demand more extensive problem inputs be solved. This requires new and more robust algorithms to facilitate further progress in technological innovation. Fortunately, typical problem inputs tend to contain some form of hidden structure, as the problem data is usually the product of a process. This research project is about revealing this hidden structure and utilizing it for an efficient solution.

Publications

105 results

2024
[105]	SAT-based Decision Tree Learning for Large Data Sets André Schidler, Stefan Szeider Journal of Artificial Intelligence Research, volume 80, pages 875–918, 2024. [bibtex]
[104]	Backdoor DNFs Sebastian Ordyniak, Andre Schidler, Stefan Szeider Journal of Computer and System Sciences, volume 144, pages 103547, 2024. [bibtex] [doi]
[103]	SAT backdoors: Depth beats size Jan Dreier, Sebastian Ordyniak, Stefan Szeider Journal of Computer and System Sciences, volume 142, pages 103520, 2024. [bibtex] [doi]
[102]	Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran J. Artif. Intell. Res., volume 79, pages 69–136, 2024. [bibtex] [pdf] [doi]
[101]	Compilation and Fast Model Counting beyond CNF Alexis de Colnet, Stefan Szeider, Tianwei Zhang Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson, ed.), pages 3315–3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization. Note: Main Track [bibtex] [doi]
[100]	SAT-Based Tree Decomposition with Iterative Cascading Policy Selection Hai Xia, Stefan Szeider AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 8191–8199, 2024, AAAI Press. [bibtex] [pdf] [doi]
[99]	A General Theoretical Framework for Learning Smallest Interpretable Models 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, Sriraam Natarajan, eds.), pages 10662–10669, 2024, AAAI Press. [bibtex] [pdf] [doi]
[98]	Learning Small Decision Trees for Data of Low Rank-Width 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, Sriraam Natarajan, eds.), pages 10476–10483, 2024, AAAI Press. [bibtex] [pdf] [doi]
[97]	A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming Zeynep G. Saribatur, Stefan Woltran Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada (Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, eds.), pages 10687–10695, 2024, AAAI Press. [bibtex] [pdf] [doi]
[96]	Redefining ABA+ Semantics via Abstract Set-to-Set Attacks Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada (Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, eds.), pages 10493–10500, 2024, AAAI Press. [bibtex] [pdf] [doi]
[95]	Hardness of Random Reordered Encodings of Parity for Resolution and CDCL 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, Sriraam Natarajan, eds.), pages 7978–7986, 2024, AAAI Press. [bibtex] [pdf] [doi]
2023
[94]	SAT-Boosted Tabu Search for Coloring Massive Graphs Andre Schidler, Stefan Szeider J. Exp. Algorithmics, volume 2825, number 1.5, pages 1–19, 2023. [bibtex] [doi]
[93]	Are Hitting Formulas Hard for Resolution? Tomáš Peitl, Stefan Szeider Discr. Appl. Math., volume 337, pages 173–184, 2023. [bibtex] [doi]
[92]	On the parameterized complexity of clustering problems for incomplete data Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider Journal of Computer and System Sciences, volume 134, pages 1–19, 2023. [bibtex] [doi]
[91]	Solving Projected Model Counting by Utilizing Treewidth and its Limits Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran Artificial Intelligence, volume 314, pages 103810, 2023. [bibtex] [pdf] [doi]
[90]	A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness Wolfgang Dvorák, Anna Rapberger, Stefan Woltran Artif. Intell., volume 324, pages 104011, 2023. [bibtex] [pdf] [doi]
[89]	The complexity landscape of claim-augmented argumentation frameworks Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran Artificial Intelligence, volume 317, pages 103873, 2023. [bibtex] [pdf] [doi]
[88]	Searching for smallest universal graphs and tournaments with SAT Tianwei Zhang, Stefan Szeider Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap, ed.), volume 280 of LIPIcs, pages 39:1–39:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[87]	Proven optimally-balanced Latin rectangles with SAT Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap, ed.), volume 280 of LIPIcs, pages 48:1–48:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[86]	Computing twin-width with SAT and branch & bound Andre Schidler, Stefan Szeider The 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19–25, 2023, Macao, S.A.R. (Edith Elkind, ed.), pages 2013–2021, 2023, ijcai.org. Note: Main Track [bibtex] [pdf] [doi]
[85]	A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets Rafael Kiesel, André Schidler Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2023, Florence, Italy, January 22-23, 2023 (Gonzalo Navarro, Julian Shun, eds.), pages 39–52, 2023, SIAM. [bibtex] [doi]
[84]	Circuit Minimization with QBF-Based Exact Synthesis 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, Yiling Chen, Jennifer Neville, eds.), pages 4087–4094, 2023, AAAI Press. [bibtex] [pdf] [doi]
[83]	The Parameterized Complexity of Finding Concise Local Explanations 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. [bibtex] [pdf] [doi]
[82]	SAT-Based Generation of Planar Graphs 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, Friedrich Slivovsky, eds.), volume 271 of LIPIcs, pages 14:1–14:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [doi]
[81]	Co-Certificate Learning with SAT Modulo Symmetries Markus Kirchweger, Tomáš 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 [bibtex] [pdf] [doi]
[80]	The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits Markus Hecher, Rafael Kiesel 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 344–254, 2023. [bibtex] [pdf]
[79]	Characterizing Structural Hardness of Logic Programs: What makes Cycles and Reachability Hard for Treewidth? Markus Hecher 37th AAAI Conference on Artificial Intelligence, pages 6407–6415, 2023. [bibtex] [pdf]
[78]	Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity 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, Yiling Chen, Jennifer Neville, eds.), pages 6363–6371, 2023, AAAI Press. [bibtex] [pdf] [doi]
[77]	Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier 32nd International Joint Conference on Artificial Intelligence (IJCAI), pages 3212–3220, 2023, ijcai.org. [bibtex] [pdf]
[76]	IPASIR-UP: User Propagators for CDCL 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, Friedrich Slivovsky, eds.), volume 271 of LIPIcs, pages 8:1–8:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [doi]
[75]	Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs Jorge Fandinno, Markus Hecher 32nd International Joint Conference on Artificial Intelligence (IJCAI), pages 6312–6320, 2023, ijcai.org. [bibtex] [pdf]
[74]	Learning Small Decision Trees with Large Domain 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, ed.), pages 3184–3192, 2023, ijcai.org. Note: Main Track [bibtex] [pdf] [doi]
[73]	The Computational Complexity of Concise Hypersphere Classification 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. [bibtex] [pdf]
[72]	Sets Attacking Sets in Abstract Argumentation Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023 (Kai Sauerwald, Matthias Thimm, eds.), volume 3464 of CEUR Workshop Proceedings, pages 22–31, 2023, CEUR-WS.org. [bibtex] [pdf]
[71]	Foundations for Projecting Away the Irrelevant in ASP Programs Zeynep G. Saribatur, Stefan Woltran Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023 (Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds.), pages 614–624, 2023. [bibtex] [pdf] [doi]
[70]	On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth Viktor Besin, Markus Hecher, Stefan Woltran ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) (Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds.), volume 372 of Frontiers in Artificial Intelligence and Applications, pages 247–254, 2023, IOS Press. [bibtex] [pdf] [doi]
[69]	Grounding Planning Tasks Using Tree Decompositions and Iterated Solving Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, Stefan Woltran Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic (Sven Koenig, Roni Stern, Mauro Vallati, eds.), pages 100–108, 2023, AAAI Press. [bibtex] [pdf] [doi]
[68]	The Effect of Preferences in Abstract Argumentation under a Claim-Centric View Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran 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, Yiling Chen, Jennifer Neville, eds.), pages 6253–6261, 2023, AAAI Press. [bibtex] [pdf] [doi]
2022
[67]	Advanced Tools and Methods for Treewidth-Based Problem Solving Markus Hecher volume 359 of Frontiers in Artificial Intelligence and Applications, 2022, IOS Press. [bibtex] [pdf] [doi]
[66]	Exploiting Database Management Systems and Treewidth for Counting Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran Theory Pract. Log. Program., volume 22, number 1, pages 128–157, 2022. [bibtex] [pdf] [doi]
[65]	Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran Journal Artificial Intelligence Research, volume 74, pages 1403–1447, 2022. [bibtex] [pdf] [doi]
[64]	Default logic and bounded treewidth Johannes Klaus Fichte, Markus Hecher, Irina Schindler Information and Computation, volume 283, pages 104675, 2022. [bibtex] [pdf] [doi]
[63]	Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran Artificial Intelligence, volume 307, pages 103697, 2022. [bibtex] [pdf] [doi]
[62]	Treewidth-aware reductions of normal ASP to SAT - Is normal ASP harder than SAT after all? Markus Hecher Artificial Intelligence, volume 304, pages 103651, 2022. [bibtex] [pdf] [doi]
[61]	Learning Large Bayesian Networks with Expert Constraints Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider 38th Conference on Uncertainty in Artificial Intelligence (UAI 2022), Eindhoven, Netherlands, August 1–5, 2022 (James Cussens, Kun Zhang, eds.), pages 180:1592–1601, 2022. [bibtex] [pdf]
[60]	A SAT Approach to Twin-Width André Schidler, Stefan Szeider Proceedings of ALENEX 2022, the 24nd SIAM Symposium on Algorithm Engineering and Experiments (Cynthia A. Phillips, Bettina Speckmann, eds.), pages 67–77, 2022, Society for Industrial and Applied Mathematics (SIAM). [bibtex] [pdf] [doi]
[59]	PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT Rafael Kiesel, André Schidler 17th International Symposium on Parameterized and Exact Computation, IPEC 2022, September 7-9, 2022, Potsdam, Germany (Holger Dell, Jesper Nederlof, eds.), volume 249 of LIPIcs, pages 32:1–32:4, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[58]	SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge) André Schidler 38th International Symposium on Computational Geometry, SoCG 2022, June 7-10, 2022, Berlin, Germany (Xavier Goaoc, Michael Kerber, eds.), volume 224 of LIPIcs, pages 74:1–74:8, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[57]	A SAT Attack on Rota’s Basis Conjecture 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, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 4:1–4:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[56]	Weighted Model Counting with Twin-Width Robert Ganian, Filip Pokrývka, 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, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 15:1–15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[55]	Finding a Cluster in Incomplete Data Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider 30th Annual European Symposium on Algorithms (ESA 2022) (Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman, eds.), volume 244 of Leibniz International Proceedings in Informatics (LIPIcs), pages 47:1–47:14, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[54]	Tractable Abstract Argumentation via Backdoor-Treewidth 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. [bibtex] [pdf]
[53]	SAT Backdoors: Depth Beats Size Jan Dreier, Sebastian Ordyniak, Stefan Szeider 30th Annual European Symposium on Algorithms (ESA 2022) (Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman, eds.), volume 244 of Leibniz International Proceedings in Informatics (LIPIcs), pages 46:1–46:18, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[52]	Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, volume 3197 of CEUR Workshop Proceedings, pages 92–103, 2022, CEUR-WS.org. [bibtex] [pdf]
[51]	IASCAR: Incremental Answer Set Counting by Anytime Refinement Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, volume 13416 of Lecture Notes in Computer Science, pages 217–230, 2022, Springer Verlag. [bibtex] [pdf] [doi]
[50]	A Practical Account into Counting Dung's Extensions by Dynamic Programming Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Jerzy Gorczyca, Markus Hecher Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, volume 13416 of Lecture Notes in Computer Science, pages 387–400, 2022, Springer Verlag. [bibtex] [pdf] [doi]
[49]	Rediscovering Argumentation Principles Utilizing Collective Attacks Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022, pages 122–131, 2022. [bibtex] [pdf]
[48]	Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach Johannes Klaus Fichte, Markus Hecher, Mohamed A. Nadeem Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 2620–2626, 2022, ijcai.org. [bibtex] [pdf] [doi]
[47]	Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) Viktor Besin, Markus Hecher, Stefan Woltran Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 5264–5268, 2022, ijcai.org. [bibtex] [pdf] [doi]
[46]	Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck Viktor Besin, Markus Hecher, Stefan Woltran Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 2546–2552, 2022, ijcai.org. [bibtex] [pdf] [doi]
[45]	Deletion-Backdoors for Argumentation Frameworks with Collective Attacks Wolfgang Dvorák, Matthias König, Stefan Woltran Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022, volume 3236 of CEUR Workshop Proceedings, pages 98–110, 2022, CEUR-WS.org. [bibtex] [pdf]
[44]	Treewidth for Argumentation Frameworks with Collective Attacks Wolfgang Dvorák, Matthias König, Stefan Woltran Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022, volume 353 of Frontiers in Artificial Intelligence and Applications, pages 140–151, 2022, IOS Press. [bibtex] [pdf] [doi]
[43]	Abstract Argumentation with Conditional Preferences Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022, volume 353 of Frontiers in Artificial Intelligence and Applications, pages 92–103, 2022, IOS Press. [bibtex] [pdf] [doi]
[42]	ApproxASP - a Scalable Approximate Answer Set Counter Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel Proceedings of AAAI-22, the Thirty-Sixth AAAI Conference on Artificial Intelligence, pages 5755–5764, 2022, The AAAI Press. [bibtex] [pdf]
[41]	Equivalence in Argumentation Frameworks with a Claim-centric View – Classical Results with Novel Ingredients Ringo Baumann, Anna Rapberger, Markus Ulbricht Proceedings of AAAI-22, the Thirty-Sixth AAAI Conference on Artificial Intelligence, pages 5479–5486, 2022, The AAAI Press. [bibtex]
2021
[40]	Finding the Hardest Formulas for Resolution Tomáš Peitl, Stefan Szeider Journal of Artificial Intelligence Research, volume 72, pages 69–97, 2021. Note: Conference Award Track, best paper CP 2020 [bibtex] [doi]
[39]	New Width Parameters for SAT and Sharp-SAT Robert Ganian, Stefan Szeider Artificial Intelligence, volume 295, pages 103460, 2021. [bibtex] [pdf] [doi]
[38]	DynASP2.5: Dynamic Programming on Tree Decompositions in Action Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Algorithms, volume 14, number 3, pages 81, 2021. [bibtex] [pdf] [doi]
[37]	Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs Viktor Besin, Markus Hecher, Stefan Woltran Theory Pract. Log. Program., volume 21, number 5, pages 575–592, 2021. [bibtex] [pdf] [doi]
[36]	Learning fast-inference Bayesian networks Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider Proceedings of NeurIPS 2021, the Thirty-fifth Conference on Neural Information Processing Systems (M. Ranzato, A. Beygelzimer, K. Nguyen, P.S. Liang, J.W. Vaughan, Y. Dauphin, eds.), pages 17852–17863, 2021. [bibtex] [pdf]
[35]	Turbocharging Treewidth-Bounded Bayesian Network Structure Learning Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3895–3903, 2021, AAAI Press. [bibtex] [pdf]
[34]	Computing Optimal Hypertree Decompositions with SAT Andre Schidler, Stefan Szeider Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), 2021. [bibtex] [doi]
[33]	SAT-based Decision Tree Learning for Large Data Sets André Schidler, Stefan Szeider Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3904–3912, 2021, AAAI Press. [bibtex] [pdf]
[32]	Finding the Hardest Formulas for Resolution (Extended Abstract) Tomáš Peitl, Stefan Szeider Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), pages 4814–4818, 2021. Note: Sister Conferences Best Papers [bibtex] [doi]
[31]	Parameterized Complexity of Small Decision Tree Learning Sebastian Ordyniak, Stefan Szeider Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6454–6462, 2021, AAAI Press. [bibtex] [pdf]
[30]	Backdoor DNFs Sebastian Ordyniak, Andre Schidler, Stefan Szeider Proceeding of IJCAI-2021, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), pages 1403–1409, 2021. [bibtex] [doi]
[29]	SAT Modulo Symmetries for Graph Generation Markus Kirchweger, Stefan Szeider Proceeings of CP 2021, the 27th International Conference on Principles and Practice of Constraint Programming (Laurent D. Michel, ed.), pages 39:1–-39:17, 2021, Dagstuhl Publishing. [bibtex] [pdf] [doi]
[28]	Treewidth-Aware Complexity in ASP: Not All Positive Cycles Are Equally Hard Markus Hecher, Jorge Fandinno Proceedings of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6312–6320, 2021. [bibtex]
[27]	Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization Johannes Klaus Fichte, Markus Hecher, Valentin Roland 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021 (Laurent D. Michel, ed.), volume 210 of LIPIcs, pages 24:1–24:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[26]	Complications for Computational Experiments from Modern Processors Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021 (Laurent D. Michel, ed.), volume 210 of LIPIcs, pages 25:1–25:21, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[25]	Knowledge-Base Degrees of Inconsistency: Complexity and Counting Johannes Klaus Fichte, Markus Hecher, Arne Meier Proceedings of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6349–6357, 2021. [bibtex] [pdf]
[24]	Decomposition-Guided Reductions for Argumentation and Treewidth Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 (Zhi-Hua Zhou, ed.), pages 1880–1886, 2021, ijcai.org. [bibtex] [pdf] [doi]
[23]	The Parameterized Complexity of Clustering Incomplete Data 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. [bibtex] [pdf]
[22]	Recursion in Abstract Argumentation is Hard — On the Complexity of Semantics Based on Weak Admissibility Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran Proceedings of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6288–6295, 2021. [bibtex]
[21]	The Complexity Landscape of Claim-Augmented Argumentation Frameworks Wolfgang Dvorák, Anna Rapberger, Stefan Woltran Proceedings of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6296–6303, 2021. [bibtex]
[20]	Graph-Classes of Argumentation Frameworks with Collective Attacks Wolfgang Dvorák, Matthias König, Stefan Woltran Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA) (Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak, eds.), volume 12678 of Lecture Notes in Computer Science, pages 3–17, 2021, Springer Verlag. [bibtex] [pdf]
[19]	A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks Wolfgang Dvo\vrák, Matthias König, Markus Ulbricht, Stefan Woltran Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR) 2021, co-located with the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-5, 2021, 2021. [bibtex] [pdf]
[18]	On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length Wolfgang Dvorák, Matthias König, Stefan Woltran Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021 (Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds.), pages 671–675, 2021. [bibtex] [pdf] [doi]
2020
[17]	Complexity of abstract argumentation under a claim-centric view Wolfgang Dvorák, Stefan Woltran Artificial Intelligence, volume 285, 2020. [bibtex] [doi]
[16]	On Existential MSO and Its Relation to ETH Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider ACM Trans. Comput. Theory, volume 12, number 4, pages 22:1–22:32, 2020. [bibtex] [pdf] [doi]
[15]	Computational Argumentation - Formal Models and Complexity Results (invited talk) Stefan Woltran Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020 (Francesco Calimeri, Simona Perri, Ester Zumpano, eds.), volume 2710 of CEUR Workshop Proceedings, pages 2, 2020, CEUR-WS.org. [bibtex] [pdf]
[14]	MaxSAT-Based Postprocessing for Treedepth Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 478–495, 2020, Springer Verlag. [bibtex] [pdf] [doi]
[13]	A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth Friedrich Slivovsky, Stefan Szeider Proceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 267–276, 2020, Springer Verlag. [bibtex] [pdf]
[12]	Short Q-Resolution Proofs with Homomorphisms Ankit Shukla, Friedrich Slivovsky, Stefan Szeider Proceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 412–428, 2020, Springer Verlag. [bibtex] [pdf]
[11]	Finding the Hardest Formulas for Resolution Tomáš Peitl, Stefan Szeider Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 514–530, 2020, Springer Verlag. Note: Best Paper Award [bibtex] [pdf]
[10]	Formalizing Graph Trail Properties in Isabelle/HOL Laura Kovács, Hanna Lachnitt, Stefan Szeider Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Christoph Benzmüller, Bruce R. Miller, eds.), volume 12236 of Lecture Notes in Computer Science, pages 190–205, 2020, Springer Verlag. [bibtex] [pdf]
[9]	Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology Markus Hecher, Patrick Thier, Stefan Woltran Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 343–360, 2020, Springer Verlag. [bibtex] [doi]
[8]	Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? Markus Hecher Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (Diego Calvanese, Esra Erdem, Michael Thielscher, eds.), pages 485–495, 2020. [bibtex]
[7]	Threshold Treewidth and Hypertree Width 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. [bibtex] [pdf] [doi]
[6]	Fixed-Parameter Tractability of Dependency QBF with Structural Parameters Robert Ganian, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Diego Calvanese, Esra Erdem, Michael Thielscher, eds.), pages 392–402, 2020. [bibtex] [pdf]
[5]	Breaking Symmetries with RootClique and LexTopsort Johannes K. Fichte, Markus Hecher, Stefan Szeider Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 286–303, 2020, Springer Verlag. [bibtex] [pdf]
[4]	A Time Leap Challenge for SAT-Solving Johannes K. Fichte, Markus Hecher, Stefan Szeider Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 267–285, 2020, Springer Verlag. [bibtex] [pdf]
[3]	Lower Bounds for QBFs of Bounded Treewidth Johannes Klaus Fichte and Markus Hecher and Andreas Pfandler LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020 (Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller, ed.), pages 410–424, 2020, ACM. [bibtex] [doi]
[2]	Treewidth-Aware Quantifier Elimination and Expansion for QCSP Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings (Helmut Simonis, ed.), pages 248–266, 2020, Springer Verlag. [bibtex] [doi]
[1]	Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs Wolfgang Dvorák, Anna Rapberger, Stefan Woltran Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (Diego Calvanese, Esra Erdem, Michael Thielscher, eds.), pages 341–350, 2020. [bibtex] [doi]