|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 |  | Brand, Cornelius ; Korchemna, Viktoria ; Skotnica, Michael | Deterministic Constrained Multilinear Detection | Inproceedings Konferenzbeitrag    | 21-Aug-2023 |
| 22 |  | De Colnet, Alexis | Separating Incremental and Non-Incremental Bottom-Up Compilation | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 23 |  | Kirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan | A SAT Solver's Opinion on the Erdos-Faber-Lovász Conjecture | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 24 |  | Markus Kirchweger ; Scheucher, Manfred ; Stefan Szeider | SAT-Based Generation of Planar Graphs | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 25 |  | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 26 | | 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 |
| 27 | | Dreier, Jan ; Tucker-Foltz, Jamie | Pseudorandom Finite Models | Inproceedings Konferenzbeitrag | 14-Jul-2023 |
| 28 | | 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 |
| 29 |  | 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 |
| 30 | | Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian | First-Order Model Checking on Structurally Sparse Graph Classes | Inproceedings Konferenzbeitrag | 2-Jun-2023 |
| 31 | | Wallinger, Markus ; Dobler, Alexander ; Nöllenburg, Martin | LinSets.zip: Compressing Linear Set Diagrams | Article Artikel | 1-Jun-2023 |
| 32 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | On the parameterized complexity of clustering problems for incomplete data | Article Artikel | Jun-2023 |
| 33 |  | Limmer, Steffen ; Varga, Johannes ; Raidl, Günther | Large neighborhood search for electric vehicle fleet scheduling | Article Artikel | Jun-2023 |
| 34 |  | Fichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan | The silent (r)evolution of SAT | Article Artikel | Jun-2023 |
| 35 | | Ganian, Robert ; Ordyniak, Sebastian ; Rahul, C. S. | Group Activity Selection with Few Agent Types | Article Artikel | May-2023 |
| 36 | | Bhore, Sujoy ; Da Lozzo, Giordano ; Montecchiani, Fabrizio ; Nöllenburg, Martin | On the upward book thickness problem: Combinatorial and complexity results | Article Artikel | May-2023 |
| 37 | | Szeider, Stefan | Isomorph-Free Generation of Combinatorial Objects with SAT Modulo Symmetries | Presentation Vortrag | 18-Apr-2023 |
| 38 |  | Bhore, Sujoy ; Li, Guangping ; Nöllenburg, Martin ; Rutter, Ignaz ; Wu, Hsiang-Yun | Untangling circular drawings: Algorithms and complexity | Article Artikel | Apr-2023 |
| 39 |  | Iurlano, Enrico | Growth of the perfect sequence covering array number | Article Artikel | Apr-2023 |
| 40 |  | Jatschka, Thomas ; Rodemann, Tobias ; Raidl, Günther R. | A Multilevel Optimization Approach for Large Scale Battery Exchange Station Location Planning | Inproceedings Konferenzbeitrag | 31-Mar-2023 |
