|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem | Inproceedings Konferenzbeitrag  | 2023 |
| 42 | | Dobler, Alexander ; Nöllenburg, Martin | Block Crossings in One-Sided Tanglegrams | Inproceedings Konferenzbeitrag | 2023 |
| 43 | | Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian | Deontic Paradoxes in ASP with Weak Constraints | Inproceedings Konferenzbeitrag | 2023 |
| 44 | | Bergougnoux, Benjamin ; Dreier, Jan ; Jaffke, Lars | A logic-based algorithmic meta-theorem for mim-width | Inproceedings Konferenzbeitrag | 2023 |
| 45 | | Hatzel, Meike ; Jaffke, Lars ; LIMA BARBOSA, CLÁUDIA PALOMA ; Masařík, Tomáš ; Pilipczuk, Marcin ; Sharma, Roohani ; Sorge, Manuel | Fixed-parameter tractability of DIRECTED MULTICUT with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation | Inproceedings Konferenzbeitrag | 2023 |
| 46 | | Limmer, Steffen ; Varga, Johannes ; Raidl, Günther R. | An Evolutionary Approach for Scheduling a Fleet of Shared Electric Vehicles | Inproceedings Konferenzbeitrag | 2023 |
| 47 | | Nöllenburg, Martin ; Wallinger, Markus | Computing Hive Plots: A Combinatorial Framework | Inproceedings Konferenzbeitrag | 2023 |
| 48 | | Reichl, Franz Xaver ; Slivovsky, Friedrich ; Szeider, Stefan | Circuit Minimization with Exact Synthesis: From QBF Back to SAT | Inproceedings Konferenzbeitrag | 2023 |
| 49 | | Komusiewicz, Christian ; Kunz, Pascal ; Sommer, Frank ; Sorge, Manuel | On Computing Optimal Tree Ensembles | Inproceedings Konferenzbeitrag | 2023 |
| 50 | | Kiesel, Rafael ; Schidler, André | A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets | Inproceedings Konferenzbeitrag | 2023 |
| 51 | | Chen, Jiehua ; Csáji, Gergely ; Roy, Sanjukta ; Simola, Sofia Henna Elisa | Hedonic Games With Friends, Enemies, and Neutrals: Resolving Open Questions and Fine-Grained Complexity | Inproceedings Konferenzbeitrag | 2023 |
| 52 | | Chen, Jiehua ; Csáji, Gergely | Optimal Capacity Modification for Many-To-One Matching Problems | Inproceedings Konferenzbeitrag | 2023 |
| 53 | | Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan | Co-Certificate Learning with SAT Modulo Symmetries | Inproceedings Konferenzbeitrag | 2023 |
| 54 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan | The Parameterized Complexity of Finding Concise Local Explanations | Inproceedings Konferenzbeitrag | 2023 |
| 55 | | Rodemann, Tobias ; Kataoka, Hiroaki ; Jatschka, Thomas ; Raidl, Günther ; Limmer, Steffen ; Meguro, Hiromu | Optimizing the positions of battery swapping stations - Pilot studies and layout optimization algorithm - | Inproceedings Konferenzbeitrag | 2023 |
| 56 |  | de Colnet, Alexis ; Marquis, Pierre | On Translations between ML Models for XAI Purposes | Inproceedings Konferenzbeitrag   | 2023 |
| 57 |  | Ceylan, Esra ; Chen, Jiehua ; Roy, Sanjukta | Optimal Seat Arrangement: What Are the Hard and Easy Cases? | Inproceedings Konferenzbeitrag | 2023 |
| 58 |  | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 59 |  | Reichl, Franz-Xaver ; Slivovsky, Friedrich ; Szeider, Stefan | Circuit Minimization with QBF-Based Exact Synthesis | Inproceedings Konferenzbeitrag | 2023 |
| 60 |  | Chen, Jiehua ; Layegh Khavidaki, Seyedeh Negar ; Haydn, Sebastian Vincent ; Simola, Sofia ; Sorge, Manuel | Game Implementation: What Are the Obstructions? | Inproceedings Konferenzbeitrag | 2023 |
