|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Khazaliya, Liana ; Kindermann, Philipp ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Simonov, Kirill | The st-Planar Edge Completion Problem Is Fixed-Parameter Tractable | Inproceedings Konferenzbeitrag  | Dec-2023 |
| 2 | | Brand, Cornelius ; Lassota, Alexandra | Fast Convolutions for Near-Convex Sequences | Inproceedings Konferenzbeitrag | Dec-2023 |
| 3 |  | Chen, Jiehua ; Hatschka, Christian ; Simola, Sofia | Efficient Algorithms for Monroe and CC Rules in Multi-Winner Elections with (Nearly) Structured Preferences | Inproceedings Konferenzbeitrag   | 28-Sep-2023 |
| 4 |  | Zhang, Tianwei ; Szeider, Stefan | Searching for Smallest Universal Graphs and Tournaments with SAT | Inproceedings Konferenzbeitrag | 22-Sep-2023 |
| 5 |  | Ramaswamy, Vaidyanathan Peruvemba ; Szeider, Stefan | Proven Optimally-Balanced Latin Rectangles with SAT | Inproceedings Konferenzbeitrag | 22-Sep-2023 |
| 6 |  | Depian, Thomas ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules | Transitions in Dynamic Point Labeling | Inproceedings Konferenzbeitrag | 7-Sep-2023 |
| 7 | | Bergougnoux, Benjamin ; Chekan, Vera ; Ganian, Robert ; Kanté, Mamadou M. ; Mnich, Matthias ; Oum, Sang-il ; Pilipczuk, Michał ; van Leeuwen, Erik Jan | Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth | Inproceedings Konferenzbeitrag | 1-Sep-2023 |
| 8 | | Brand, Cornelius ; Ganian, Robert ; Rocton, Mathis Teva | New Complexity-Theoretic Frontiers of Tractability for Neural Network Training | Inproceedings Konferenzbeitrag | Sep-2023 |
| 9 | | Brand, Cornelius ; Ganian, Robert ; Röder Sebastian ; Schager Florian | Fixed-Parameter Algorithms for Computing {RAC} Drawings of Graphs | Inproceedings Konferenzbeitrag | Sep-2023 |
| 10 |  | Dreier, Jan ; Mock, Daniel ; Rossmanith, Peter | Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond | Inproceedings Konferenzbeitrag | 30-Aug-2023 |
| 11 |  | Brand, Cornelius ; Korchemna, Viktoria ; Skotnica, Michael | Deterministic Constrained Multilinear Detection | Inproceedings Konferenzbeitrag | 21-Aug-2023 |
| 12 |  | De Colnet, Alexis | Separating Incremental and Non-Incremental Bottom-Up Compilation | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 13 |  | Kirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan | A SAT Solver's Opinion on the Erdos-Faber-Lovász Conjecture | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 14 |  | Markus Kirchweger ; Scheucher, Manfred ; Stefan Szeider | SAT-Based Generation of Planar Graphs | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 15 |  | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 16 | | Frohner, Nikolaus ; Raidl, Günther ; Chicano, Francisco | Multi-Objective Policy Evolution for a Same-Day Delivery Problem with Soft Deadlines | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 17 | | Dreier, Jan ; Tucker-Foltz, Jamie | Pseudorandom Finite Models | Inproceedings Konferenzbeitrag | 14-Jul-2023 |
| 18 | | Ganian, Robert ; Hamm, Thekla ; Knop, Dusan ; Roy, Sanjukta ; Schierreich, Šimon ; Suchý, Ondřej | Maximizing Social Welfare in Score-Based Social Distance Games | Inproceedings Konferenzbeitrag | 11-Jul-2023 |
| 19 |  | Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian ; Toruńczyk, Szymon | Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 20 | | Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian | First-Order Model Checking on Structurally Sparse Graph Classes | Inproceedings Konferenzbeitrag | 2-Jun-2023 |
