|
| | Preview | Author(s) | Title | Type | Issue Date |
| 81 | | 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 |
| 82 | | Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav | Hard QBFs for merge resolution | Article Artikel | 2023 |
| 83 |  | de Colnet, Alexis ; Marquis, Pierre | On Translations between ML Models for XAI Purposes | Inproceedings Konferenzbeitrag   | 2023 |
| 84 |  | Ceylan, Esra ; Chen, Jiehua ; Roy, Sanjukta | Optimal Seat Arrangement: What Are the Hard and Easy Cases? | Inproceedings Konferenzbeitrag | 2023 |
| 85 |  | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 86 |  | De Colnet, Alexis ; Mengel, Stefan | Characterizing Tseitin-formulas with short regular resolution refutations | Article Artikel | 2023 |
| 87 |  | Reichl, Franz-Xaver ; Slivovsky, Friedrich ; Szeider, Stefan | Circuit Minimization with QBF-Based Exact Synthesis | Inproceedings Konferenzbeitrag | 2023 |
| 88 |  | Chen, Jiehua ; Layegh Khavidaki, Seyedeh Negar ; Haydn, Sebastian Vincent ; Simola, Sofia ; Sorge, Manuel | Game Implementation: What Are the Obstructions? | Inproceedings Konferenzbeitrag | 2023 |
| 89 |  | Bhore, Sujoy ; Klute, Fabian ; Löffler, Maarten ; Nöllenburg, Martin ; Terziadis, Soeren ; Villedieu, Anais | Minimum Link Fencing | Inproceedings Konferenzbeitrag | 14-Dec-2022 |
| 90 |  | Dreier, Jan ; Mählmann, Nikolas ; Mouawad, Amer ; Siebertz, Sebastian ; Vigny, Alexandre | Combinatorial and Algorithmic Aspects of Monadic Stability | Inproceedings Konferenzbeitrag | 14-Dec-2022 |
| 91 |  | Ganian, Robert ; Kim, Eun Jung ; Szeider, Stefan | Algorithmic applications of tree-cut width | Article Artikel | Dec-2022 |
| 92 |  | Bhore, Sujoy ; Li, Guangping ; Nöllenburg, Martin | An Algorithmic Study of Fully Dynamic Independent Sets for Map Labeling | Article Artikel | Dec-2022 |
| 93 | | Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas | Representing Normative Reasoning in Answer Set Programming Using Weak Constraints | Presentation Vortrag | 28-Nov-2022 |
| 94 | | Raidl, Günther | Learning for Guiding Metaheuristics | Presentation Vortrag | 3-Nov-2022 |
| 95 | | Raidl, Günther | Learning Beam Search: Utilizing Machine Learning for Solving Combinatorial Optimization Problems | Presentation Vortrag | 1-Nov-2022 |
| 96 | | Chen, Jiehua ; Nöllenburg, Martin ; Simola, Sofia ; Villedieu, Anaïs ; Wallinger, Markus | Multidimensional Manhattan Preferences | Inproceedings Konferenzbeitrag | 29-Oct-2022 |
| 97 |  | Klemz, Boris ; Nöllenburg, Martin ; Prutkin, Roman | Recognizing weighted and seeded disk graphs | Article Artikel | 14-Sep-2022 |
| 98 | | Dobler, Alexander ; Nöllenburg, Martin | On Computing Optimal Linear Diagrams | Inproceedings Konferenzbeitrag | 7-Sep-2022 |
| 99 |  | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | Finding a Cluster in Incomplete Data | Inproceedings Konferenzbeitrag | 1-Sep-2022 |
| 100 |  | Chen, Jiehua ; Roy, Sanjukta | Multi-Dimensional Stable Roommates in 2-Dimensional Euclidean Space | Inproceedings Konferenzbeitrag | 1-Sep-2022 |
