Full List of Publications
1256 results| [1256] | Algorithmic Extensions of Dirac's Theorem Chapter in , pages 406-416. |
| [1255] | Parallel Beam Search for Combinatorial Optimization Workshop Proceedings of the International Conference on Parallel Processing (ICPP 2022), pages 1–8, ACM Press. |
| [1254] | Lossy Kernels for Hitting Subgraphs MFCS 2017. Note: To Appear |
| [1253] | On the Parameterized Complexity of Simultaneous Deletion Problems FSTTCS 2017. Note: To Appear |
| 2024 | |
| [1252] | Bounding and Computing Obstacle Numbers of Graphs SIAM J. Discret. Math., volume 38, number 2, pages 1537–1565, 2024. |
| [1251] | Computing Data-driven Multilinear Metro Maps The Cartographic Journal, pages 1–16, 2024. |
| [1250] | Visualizing Extensions of Argumentation Frameworks as Layered Graphs CoRR, volume abs/2409.05457, 2024. |
| [1249] | Signed double Roman domination on cubic graphs Applied Mathematics and Computation, volume 471, pages 128612, 2024, Elsevier. |
| [1248] | Splitting Plane Graphs to Outerplanarity J. Graph Algorithms Appl., volume 28, number 3, pages 31–48, 2024. |
| [1247] | Improving Temporal Treemaps by Minimizing Crossings Comput. Graph. Forum, volume 43, number 3, pages e15087, 2024. |
| [1246] | Uncertainty in Humanities Network Visualization Frontiers in Communication, volume 8, pages 1305137, 2024. |
| [1245] | On the Complexity of the Storyplan Problem J. Computer and Systems Sciences, volume 139, pages 103466, 2024. |
| [1244] | SAT-based Decision Tree Learning for Large Data Sets Journal of Artificial Intelligence Research, volume 80, pages 875–918, 2024. |
| [1243] | On Critical Node Problems with Vulnerable Vertices J. Graph Algorithms Appl., volume 28, number 1, pages 1–26, 2024. |
| [1242] | Backdoor DNFs Journal of Computer and System Sciences, volume 144, pages 103547, 2024. |
| [1241] | SAT Modulo Symmetries for Graph Generation and Enumeration ACM Transactions on Computational Logic, volume 25, number 3, 2024. |
| [1240] | Efficient Branch-and-Bound Algorithms for Finding Triangle-Constrained 2-Clubs J. Comb. Optim., 2024. Note: to appear |
| [1239] | Slim Tree-Cut Width Algorithmica, volume 86, number 8, pages 2714–2738, 2024. |
| [1238] | The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-Width ACM Trans. Algorithms, volume 20, number 3, pages 19, 2024. |
| [1237] | SAT backdoors: Depth beats size Journal of Computer and System Sciences, volume 142, pages 103520, 2024. |
| [1236] | Fixed-Parameter Algorithms for Computing RAC Drawings of Graphs J. Graph Algorithms Appl., 2024. Note: to appear |
| [1235] | The Complexity of Optimizing Atomic Congestion Artif. Intell., 2024. Note: to appear |
| [1234] | Compilation and Fast Model Counting beyond CNF 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 |
| [1233] | Revisiting Causal Discovery from a Complexity-Theoretic Perspective Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson, ed.), pages 3377–3385, 8 2024, International Joint Conferences on Artificial Intelligence Organization. Note: Main Track |
| [1232] | Hoop Diagrams: A Set Visualization Method Diagrammatic Representation and Inference (DIAGRAMS'24), volume 14981 of LNCS, pages 377-392, 2024, Springer. |
| [1231] | GdMetriX - A NetworkX Extension For Graph Drawing Metrics Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1230] | Introducing Fairness in Graph Visualization via Gradient Descent Machine Learning Methods in Visualisation for Big Data (MLVis'24) (Daniel Archambault, Ian Nabney, Jaakko Peltonen, eds.), pages 1–5, 2024, Eurographics Association. |
| [1229] | Tackling the $\alpha$-Domination Problem Heuristically 19th International Conference on Computer Aided Systems Theory, 2024, Springer. Note: to appear; preprint: https://www.ac.tuwien.ac.at/files/pub/iurlano-varga-raidl-24.pdf |
| [1228] | Introducing Fairness in Graph Visualization Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1227] | A Simulated Annealing Based Approach for the Roman Domination Problem Metaheuristics and Nature Inspired Computing (Bernabé Dorronsoro, Rachid Ellaia, El-Ghazali Talbi, eds.), pages 28–43, 2024, Springer Nature Switzerland. Note: preprint: https://www.ac.tuwien.ac.at/files/pub/greilhuber-schober-iurlano-raidl-23.pdf |
| [1226] | Minimizing Switches in Cased Graph Drawings Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1225] | Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes Proceedings of the 56th Annual ACM Symposium on Theory of Computing, pages 1550–1560, 2024, Association for Computing Machinery. |
| [1224] | Constrained Boundary Labeling Algorithms and Computation (ISAAC'24) (Julian Mestre, Anthony Wirth, eds.), volume 322 of LIPIcs, pages 11:1–11:16, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1223] | Revisiting ILP Models for Exact Crossing Minimization in Storyline Drawings Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1222] | The Parameterized Complexity of Extending Stack Layouts Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1221] | Minimizing Corners in Colored Rectilinear Grids Algorithms and Computation (WALCOM'24) (Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen, eds.), volume 14549 of LNCS, pages 134–148, 2024, Springer. |
| [1220] | Boundary Labeling in a Circular Orbit Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1219] | Fully Dynamic Maximum Independent Sets of Disks in Polylogarithmic Update Time Computational Geometry (SoCG'24) (Wolfgang Mulzer, Jeff M. Phillips, eds.), volume 293 of LIPIcs, pages 19:1–19:16, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1218] | Bundling-Aware Graph Drawing Graph Drawing and Network Visualization (GD'24) (Stefan Felsner, Karsten Klein, eds.), volume 320 of LIPIcs, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Note: To appear. |
| [1217] | Small unsatisfiable k-CNFs with bounded literal occurrence 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Supratik Chakraborty, Jie-Hong Roland Jiang, eds.), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 31:1–31:22, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1216] | SAT-Based Tree Decomposition with Iterative Cascading Policy Selection 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. |
| [1215] | SubModST: A Fast Generic Solver for Submodular Maximization with Size Constraints 32nd Annual European Symposium on Algorithms (ESA 2024), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Note: to appear |
| [1214] | Structure-guided Local Improvement for Maximum Satisfiability The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw, ed.), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Note: to appear |
| [1213] | eSLIM: Circuit Minimization with SAT Based Local Improvement 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Supratik Chakraborty, Jie-Hong Roland Jiang, eds.), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1–23:14, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1212] | A General Theoretical Framework for Learning Smallest Interpretable Models 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. |
| [1211] | On the Complexity of Community-aware Network Sparsification 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Note: to appear |
| [1210] | The Parameterized Complexity Landscape of the Unsplittable Flow Problem Graph-Theoretic Concepts in Computer Science - 48th International Workshop, WG 2024, Spik, Slovenia, June 19-21, 2024, Revised Selected Papers, 2024, Springer Verlag. Note: to appear |
| [1209] | A Tight Subexponential-Time Algorithm for Two-Page Book Embedding 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia (Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson, eds.), volume 297 of LIPIcs, pages 68:1–68:18, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1208] | The Complexity of Fair Division of Indivisible Items with Externalities 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 9653–9661, 2024, AAAI Press. |
| [1207] | Learning Small Decision Trees for Data of Low Rank-Width 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. |
| [1206] | Exact Algorithms for Clustered Planarity with Linear Saturators 35th International Symposium on Algorithms and Computation, ISAAC 2024, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1205] | The Parameterized Complexity of Extending Stack Layouts Graph Drawing and Network Visualization - 31st International Symposium, GD 2024, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Note: to appear |
| [1204] | Parameterized Algorithms for Coordinated Motion Planning: Minimizing Energy 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia (Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson, eds.), volume 297 of LIPIcs, pages 53:1–53:18, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1203] | Hardness of Random Reordered Encodings of Parity for Resolution and CDCL 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. |
| [1202] | Counting Vanishing Matrix-Vector Products WALCOM: Algorithms and Computation - 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings (Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen, eds.), volume 14549 of Lecture Notes in Computer Science, pages 335–349, 2024, Springer Verlag. |
| [1201] | The Complexity of Optimizing Atomic Congestion 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 20044–20052, 2024, AAAI Press. |
| [1200] | Twin-Width Meets Feedback Edges and Vertex Integrity 19th International Symposium on Parameterized and Exact Computation, IPEC 2024, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Note: to appear |
| [1199] | Computing Twin-Width Parameterized by the Feedback Edge Number 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France (Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, eds.), volume 289 of LIPIcs, pages 7:1–7:19, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1198] | First-Order Model Checking on Monadically Stable Graph Classes 2024, arXiv. Note: to be presented at FOCS 2024 |
| 2023 | |
| [1197] | The Silent (R)evolution of SAT Communications of the ACM, volume 66, number 6, pages 64–72, June 2023. |
| [1196] | LinSets.zip: Compressing Linear Set Diagrams IEEE Trans. Visualization and Computer Graphics, volume 29, number 6, pages 2875–2887, 2023. |
| [1195] | Faster Edge-Path Bundling Through Graph Spanners Computer Graphics Forum, volume 42, number 6, pages e14789, 2023. |
| [1194] | Scheduling Jobs Using Queries to Interactively Learn Human Availability Times Computers and Operations Research, 2023. Note: to appear |
| [1193] | MosaicSets: Embedding Set Systems into Grid Graphs IEEE Trans. Visualization and Computer Graphics, 2023. |
| [1192] | Large Neighborhood Search for Electric Vehicle Fleet Scheduling Energies, volume 16, number 12, 2023. |
| [1191] | Growth of the perfect sequence covering array number Designs, Codes and Cryptography, volume 91, number 4, pages 1487–1494, 2023, Springer. |
| [1190] | New Frontiers of Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 23162) Dagstuhl Reports, volume 13, number 4, pages 58–97, 2023. |
| [1189] | Untangling Circular Drawings: Algorithms and Complexity Comput. Geom. Theory Appl., volume 111, 2023. |
| [1188] | Worbel: Aggregating Point Labels into Word Clouds ACM Trans. Spatial Algorithms and Systems, volume 9, number 3, pages 19:1–19:32, 2023. |
| [1187] | On the Upward Book Thickness Problem: Combinatorial and Complexity Results European J. Combinatorics, volume 110, pages 103662, 2023. |
| [1186] | Splitting Vertices in 2-Layer Graph Drawings IEEE Computer Graphics and Applications, volume 43, number 3, pages 24–35, 2023. |
| [1185] | Computing optimal hypertree decompositions with SAT Artificial Intelligence, volume 325, pages 104015, 2023. |
| [1184] | SAT-Boosted Tabu Search for Coloring Massive Graphs J. Exp. Algorithmics, volume 2825, number 1.5, pages 1–19, 2023. |
| [1183] | Are Hitting Formulas Hard for Resolution? Discr. Appl. Math., volume 337, pages 173–184, 2023. |
| [1182] | Computing Dense and Sparse Subgraphs of Weakly Closed Graphs Algorithmica, volume 85, number 7, pages 2156–2187, 2023. |
| [1181] | Essentially Tight Kernels for (Weakly) Closed Graphs Algorithmica, volume 85, number 6, pages 1706–1735, 2023. |
| [1180] | The Parameterized Complexity of s-Club with Triangle and Seed Constraints Theory Comput. Syst., volume 67, number 5, pages 1050–1081, 2023. |
| [1179] | Group Activity Selection with Few Agent Types Algorithmica, volume 85, number 5, pages 1111–1155, 2023. |
| [1178] | Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters SIAM J. Discrete Math., 2023. Note: to appear |
| [1177] | Hedonic diversity games: A complexity picture with more than two colors Artif. Intell., volume 325, pages 104017, 2023. |
| [1176] | On the parameterized complexity of clustering problems for incomplete data Journal of Computer and System Sciences, volume 134, pages 1–19, 2023. |
| [1175] | Parameterized complexity of envy-free resource allocation in social networks Artif. Intell., volume 315, pages 103826, 2023. |
| [1174] | Destroying Multicolored Paths and Cycles in Edge-Colored Graphs Discret. Math. Theor. Comput. Sci., volume 25, 2023. |
| [1173] | CSP beyond tractable constraint languages Constraints, volume 28, number 3, pages 450–471, 2023. |
| [1172] | Sample compression schemes for balls in graphs SIAM J. Discrete Math., 2023. Note: to appear |
| [1171] | Speeding up Logic-Based Benders Decomposition by Strengthening Cuts with Graph Neural Networks Machine Learning, Optimization, and Data Science. LOD 2023., 2023, Springer. Note: to appear |
| [1170] | Interactive Job Scheduling with Partially Known Personnel Availabilities OLA 2023: Optimization and Learning (B. Dorronsoro, F. Chicano, G. Danoy, E.-G. Talbi, eds.), volume 1824 of Communications in Computer and Information Science, pages 236–247, 2023, Springer. |
| [1169] | Computing Hive Plots: A Combinatorial Framework Graph Drawing and Network Visualization (GD'23) (Michael Bekos, Markus Chimani, eds.), volume 14466 of LNCS, pages 153–169, 2023, Springer. |
| [1168] | Planarizing Graphs and their Drawings by Vertex Splitting Graph Drawing and Network Visualization (GD'22) (Patrizio Angelini, Reinhard von Hanxleden, eds.), volume 13764 of LNCS, pages 232–246, 2023, Springer. |
| [1167] | On Families of Planar DAGs with Constant Stack Number Graph Drawing and Network Visualization (GD'23) (Michael Bekos, Markus Chimani, eds.), volume 14465 of LNCS, pages 135–151, 2023, Springer. |
| [1166] | First-Order Model Checking on Structurally Sparse Graph Classes Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 567-580, 2023, Association for Computing Machinery. |
| [1165] | An Evolutionary Approach for Scheduling a Fleet of Shared Electric Vehicles EvoApplications 2023: Applications of Evolutionary Computation (J. Correia, S. Smith, R. Qaddoura, eds.), volume 13989 of LNCS, pages 3-18, 2023, Springer. |
| [1164] | The Influence of Dimensions on the Complexity of Computing Decision Trees Conference on Artificial Intelligence (AAAI'23) (Brian Williams, Yiling Chen, Jennifer Neville, eds.), pages 8343–8350, 2023, AAAI Press. |
| [1163] | Optimizing the positions of battery swapping stations – Pilot Studies and Layout Optimization Algorithm Proceedings to the 6th International Electric Vehicle Technology Conference, pages 20231015, 2023, JSAE. |
| [1162] | A Multilevel Optimization Approach for Large Scale Battery Exchange Station Location Planning Evolutionary Computation in Combinatorial Optimization – 23rd European Conference, EvoCOP 2023 (Leslie Pérez Cáceres, Thomas Stützle, eds.), volume 13987 of LNCS, pages 50–65, 2023, Springer. |
| [1161] | A Relative Value Function Based Learning Beam Search for the Longest Common Subsequence Problem Computer Aided Systems Theory – EUROCAST 2022 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 13789 of LNCS, pages 87-95, 2023, Springer. |
| [1160] | MySemCloud: Semantic-aware Word Cloud Editing Pacific Visualization Symposium (PacificVis'23), pages 147–156, 2023. |
| [1159] | Splitting Plane Graphs to Outerplanarity Algorithms and Computation (WALCOM'23) (Bertrand M. T. Lin, Chun-Cheng Lin, Giuseppe Liotta, eds.), volume 13973 of LNCS, 2023, Springer. |
| [1158] | Multi-Objective Policy Evolution for a Same-Day Delivery Problem with Soft Deadlines , pages 1941–1949, 2023, ACM Press. |
| [1157] | A Policy-Based Learning Beam Search for Combinatorial Optimization Evolutionary Computation in Combinatorial Optimization – 23rd European Conference, EvoCOP 2023 (Leslie Pérez Cáceres, Thomas Stützle, eds.), volume 13987 of LNCS, pages 130–145, 2023, Springer. Note: best paper award winner |
| [1156] | Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond 31st Annual European Symposium on Algorithms (ESA 2023) (Inge Li Gørtz, Martin Farach-Colton, Simon J. Puglisi, Grzegorz Herman, eds.), volume 274 of Leibniz International Proceedings in Informatics (LIPIcs), pages 43:1–43:17, 2023, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1155] | Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany (Kousha Etessami, Uriel Feige, Gabriele Puppis, eds.), volume 261 of LIPIcs, pages 125:1–125:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1154] | A logic-based algorithmic meta-theorem for mim-width Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3282-3304, 2023. |
| [1153] | Crossing Minimization in Time Interval Storylines European Workshop on Computational Geometry (EuroCG'23) (Clemens Huemer, Carlos Seara, eds.), pages 36:1–36:7, 2023. |
| [1152] | Block Crossings in One-Sided Tanglegrams Algorithms and Data Structures (WADS'23) (Pat Morin, Subhash Suri, eds.), volume 14079 of LNCS, pages 386–400, 2023, Springer. |
| [1151] | Transitions in Dynamic Point Labeling Geographic Information Science (GIScience'23) (Roger Beecham, Jed A. Long, Dianna Smith, Qunshan Zhao, Sarah Wise, eds.), volume 277 of LIPIcs, pages 2:1–2:19, 2023, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1150] | Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable Computational Geometry (SoCG'23) (Erin W. Chambers, Joachim Gudmundsson, eds.), volume 258 of LIPIcs, pages 18:1–18:16, 2023, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1149] | On the Complexity of the Storyplan Problem Graph Drawing and Network Visualization (GD'22) (Patrizio Angelini, Reinhard von Hanxleden, eds.), volume 13764 of LNCS, pages 304–318, 2023, Springer. |
| [1148] | Searching for smallest universal graphs and tournaments with SAT 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. |
| [1147] | Proven optimally-balanced Latin rectangles with SAT 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. |
| [1146] | Maximizing Social Welfare in Score-Based Social Distance Games Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023 (Rineke Verbrugge, ed.), volume 379 of EPTCS, pages 272–286, 2023. |
| [1145] | Exact Algorithms for Group Closeness Centrality SIAM Conference on Applied and Computational Discrete Algorithms, ACDA 2023, Seattle, WA, USA, May 31 - June 2, 2023 (Jonathan W. Berry, David B. Shmoys, Lenore Cowen, Uwe Naumann, eds.), pages 1–12, 2023, SIAM. |
| [1144] | Computing twin-width with SAT and branch & bound 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 |
| [1143] | A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets 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. |
| [1142] | Circuit Minimization with QBF-Based Exact Synthesis 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. |
| [1141] | Circuit Minimization with Exact Synthesis: From QBF Back to SAT Proceedings of the 32nd International Workshop on Logic & Synthesis (IWLS), 2023. |
| [1140] | The Parameterized Complexity of Finding Concise Local Explanations 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. |
| [1139] | On the Group Coverage Centrality Problem: Parameterized Complexity and Heuristics SIAM Conference on Applied and Computational Discrete Algorithms, ACDA 2023, Seattle, WA, USA, May 31 - June 2, 2023 (Jonathan W. Berry, David B. Shmoys, Lenore Cowen, Uwe Naumann, eds.), pages 13–24, 2023, SIAM. |
| [1138] | On Computing Optimal Tree Ensembles International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA (Andreas Krause, Emma Brunskill, Kyunghyun Cho, Barbara Engelhardt, Sivan Sabato, Jonathan Scarlett, eds.), volume 202 of Proceedings of Machine Learning Research, pages 17364–17374, 2023, PMLR. |
| [1137] | SAT-Based Generation of Planar Graphs 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. |
| [1136] | A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan, Friedrich Slivovsky, eds.), 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1135] | Co-Certificate Learning with SAT Modulo Symmetries 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 |
| [1134] | Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth 31st Annual European Symposium on Algorithms, ESA 2023, September 4-6, 2023, Amsterdam, The Netherlands (Inge Li Gørtz, Martin Farach-Colton, Simon J. Puglisi, Grzegorz Herman, eds.), volume 274 of LIPIcs, pages 18:1–18:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1133] | Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity 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. |
| [1132] | IPASIR-UP: User Propagators for CDCL 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. |
| [1131] | Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF LICS, pages 1–14, 2023. |
| [1130] | Learning Small Decision Trees with Large Domain 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 |
| [1129] | A Structural Complexity Analysis of Synchronous Dynamical Systems 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 6313–6321, 2023, AAAI Press. |
| [1128] | The Computational Complexity of Concise Hypersphere Classification Proceedings of the 40th International Conference on Machine Learning, ICML 2023, pages 9060–9070, 2023, PMLR. |
| [1127] | From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands (Neeldhara Misra, Magnus Wahlström, eds.), volume 285 of LIPIcs, pages 16:1–16:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1126] | The Parameterized Complexity of Coordinated Motion Planning 39th International Symposium on Computational Geometry, SoCG 2023, June 12-15, 2023, Dallas, Texas, USA (Erin W. Chambers, Joachim Gudmundsson, eds.), volume 258 of LIPIcs, pages 28:1–28:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1125] | Pseudorandom Finite Models LICS, pages 1–13, 2023. |
| [1124] | Consistency Checking Problems: A Gateway to Parameterized Sample Complexity 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands (Neeldhara Misra, Magnus Wahlström, eds.), volume 285 of LIPIcs, pages 18:1–18:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1123] | A Polyhedral Perspective on Tropical Convolutions Combinatorial Algorithms - 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings (Sun-Yuan Hsieh, Ling-Ju Hung, Chia-Wei Lee, eds.), volume 13889 of Lecture Notes in Computer Science, pages 111–122, 2023, Springer Verlag. |
| [1122] | Upward and Orthogonal Planarity are W[1]-Hard Parameterized by Treewidth Graph Drawing and Network Visualization - 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II (Michael A. Bekos, Markus Chimani, eds.), volume 14466 of Lecture Notes in Computer Science, pages 203–217, 2023, Springer Verlag. |
| [1121] | Fast Convolutions for Near-Convex Sequences 34th International Symposium on Algorithms and Computation, ISAAC 2023, December 3-6, 2023, Kyoto, Japan (Satoru Iwata, Naonori Kakimura, eds.), volume 283 of LIPIcs, pages 16:1–16:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1120] | Deterministic Constrained Multilinear Detection 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France (Jérôme Leroux, Sylvain Lombardy, David Peleg, eds.), volume 272 of LIPIcs, pages 25:1–25:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1119] | A Parameterized Theory of PAC Learning 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 6834–6841, 2023, AAAI Press. |
| [1118] | New Complexity-Theoretic Frontiers of Tractability for Neural Network Training Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023. |
| [1117] | Fixed-Parameter Algorithms for Computing RAC Drawings of Graphs Graph Drawing and Network Visualization - 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II (Michael A. Bekos, Markus Chimani, eds.), volume 14466 of Lecture Notes in Computer Science, pages 66–81, 2023, Springer Verlag. |
| [1116] | On the Complexity of Finding a Sparse Connected Spanning Subgraph in a Non-Uniform Failure Model 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands (Neeldhara Misra, Magnus Wahlström, eds.), volume 285 of LIPIcs, pages 4:1–4:12, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1115] | The Parameterized Complexity of Network Microaggregation 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 6262–6270, 2023, AAAI Press. |
| [1114] | Extending Orthogonal Planar Graph Drawings Is Fixed-Parameter Tractable 39th International Symposium on Computational Geometry, SoCG 2023, June 12-15, 2023, Dallas, Texas, USA (Erin W. Chambers, Joachim Gudmundsson, eds.), volume 258 of LIPIcs, pages 18:1–18:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1113] | Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings (Leszek Gasieniec, ed.), volume 13878 of Lecture Notes in Computer Science, pages 283–297, 2023, Springer Verlag. |
| [1112] | Algorithms for Satisfiability Testing September 2023, SKILL 2023, Gesellschaft für Informatik, Bonn. Note: to appear |
| [1111] | Approximate Evaluation of Quantitative Second Order Queries 2023, arXiv. |
| [1110] | Advancing State Space Search for Static and Dynamic Optimization by Parallelization and Learning May 2023, PhD thesis, Institute of Logic and Computation, TU Wien. Note: supervised by G. R. Raidl |
| [1109] | Computational Optimization Approaches for Distributing Battery Exchange Stations for Electric Scooters Sep 2023, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and T. Jatschka |
| [1108] | A Learning Multilevel Optimization Approach for a Large Location Allocation Problem May 2023, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and T. Jatschka |
| [1107] | Hybrid Approaches to Sports League Scheduling using Constraint Programming and Simulated Annealing Jan 2023, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and N. Frohner |
| [1106] | Hybrid Metaheuristics Based on Large Neighborhood Search and Mixed Integer Linear Programming for the Directed Feedback Vertex Set Problem Jan 2023, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and J. Varga |
| 2022 | |
| [1105] | 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria (Stefan Szeider, Robert Ganian, Alexandra Silva, eds.), volume 241 of LIPIcs, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1104] | Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution ACM Transactions on Computational Logic, September 2022, Association for Computing Machinery. |
| [1103] | Initial Learning of Textual Programming at School: Evolution of Outreach Activities OLYMPIADS IN INFORMATICS, pages 43–53, January 2022. |
| [1102] | Multi-level Area Balancing of Clustered Graphs IEEE Trans. Visualization and Computer Graphics, volume 28, number 7, pages 2682–2696, 2022. |
| [1101] | Edge-Path Bundling: A Less Ambiguous Edge Bundling Approach IEEE Trans. Visualization and Computer Graphics, volume 28, number 1, pages 313–323, 2022. |
| [1100] | Computational Methods for Scheduling the Charging and Assignment of an On-Site Shared Electric Vehicle Fleet Access, volume 10, 2022. |
| [1099] | Multicriteria Optimization for Dynamic Demers Cartograms IEEE Trans. Visualization and Computer Graphics, volume 28, number 6, pages 2376–2387, 2022. Note: TVCG Replicability Stamp |
| [1098] | Recognizing Weighted and Seeded Disk Graphs J. Computational Geometry, volume 13, number 1, pages 327–376, 2022. |
| [1097] | Twin-width and generalized coloring numbers Discrete Mathematics, volume 345, number 3, pages 112746, 2022. |
| [1096] | Graph Search and Variable Neighborhood Search for Finding Constrained Longest Common Subsequences in Artificial and Real Gene Sequences Applied Soft Computing, volume 122, pages 108844, 2022. |
| [1095] | Mixed Labeling: Integrating Internal and External Labels IEEE Trans. Visualization and Computer Graphics, volume 28, number 4, pages 1848–1861, 2022. |
| [1094] | Shape-Guided Mixed Metro Map Layout Computer Graphics Forum, volume 41, number 7, pages 495–506, 2022. |
| [1093] | An Algorithmic Study of Fully Dynamic Independent Sets for Map Labeling ACM J. Experimental Algorithmics, volume 27, pages 1.8:1–1.8:36, 2022. |
| [1092] | Parameterized Algorithms for Queue Layouts J. Graph Algorithms Appl., volume 26, number 3, pages 335–352, 2022. |
| [1091] | Parameterized Algorithms for Queue Layouts J. Graph Algorithms Appl., volume 26, number 3, pages 335–352, 2022. |
| [1090] | An efficient algorithm for counting Markov equivalent DAGs Artificial Intelligence, volume 304, pages 103648, 2022. |
| [1089] | Colored cut games Theoretical Computer Science, volume 936, pages 13–32, 2022. |
| [1088] | Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs Theory Comput. Syst., volume 66, number 5, pages 1019–1045, 2022. |
| [1087] | Exploiting \textdollarc\textdollar-Closure in Kernelization Algorithms for Graph Problems SIAM J. Discrete Math., volume 36, number 4, pages 2798–2821, 2022. |
| [1086] | Threshold Treewidth and Hypertree Width Journal of Artificial Intelligence Research, volume 74, pages 1687–1713, 2022. |
| [1085] | Algorithmic Applications of Tree-Cut Width SIAM J. Discrete Math., volume 36, number 4, pages 2635–2666, 2022. |
| [1084] | Sum-of-Products with Default Values: Algorithms and Complexity Results Journal of Artificial Intelligence Research, volume 33, pages 535–552, 2022. |
| [1083] | Preface: Ninth workshop on graph classes, optimization, and Width Parameters, Vienna, Austria Discr. Appl. Math., volume 312, pages 1–2, 2022. |
| [1082] | Removing Popular Faces in Curve Arrangements CoRR, volume abs/2202.12175, 2022. |
| [1081] | Finding a Battleship of Uncertain Shape CoRR, volume abs/2202.08747, 2022. |
| [1080] | On Covering Segments with Unit Intervals SIAM J. Discret. Math., volume 36, number 2, pages 1200–1230, 2022. |
| [1079] | A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters Chapter in Extended Abstracts of the 18th International Conference on Computer Aided Systems Theory (EUROCAST 2022) (Alexis Quesada-Arencibia, others, eds.), pages 32–33, feb 2022. |
| [1078] | A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters Chapter in Computer Aided Systems Theory – EUROCAST 2022, volume 13789 of LNCS, pages 121-129, 2022, Springer. |
| [1077] | A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problems Chapter in Extended Abstracts of the 18th International Conference on Computer Aided Systems Theory – EUROCAST 2022 (Alexis Quesada-Arencibia, others, eds.), pages 22–23, 2022. |
| [1076] | Learning Value Functions for Same-Day Delivery Problems in the Tardiness Regime Chapter in Extended Abstracts of the 18th International Conference on Computer Aided Systems Theory – EUROCAST 2022 (Alexis Quesada-Arencibia, others, eds.), pages 20–21, 2022. |
| [1075] | Fine-grained Complexity of Partial Minimum Satisfiability Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22 (Lud De Raedt, ed.), pages 1774–1780, 7 2022, International Joint Conferences on Artificial Intelligence Organization. Note: Main Track |
| [1074] | A Learning Large Neighborhood Search for the Staff Rerostering Problem Integration of Constraint Programming, Artificial Intelligence, and Operations Research – CPAIOR 2022 (Pierre Schaus, ed.), volume 13292 of LNCS, pages 300–317, 2022, Springer. |
| [1073] | A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation Evolutionary Computation in Combinatorial Optimization – EvoCOP 2022 (Leslie Pérez Cáceres, Sébastien Verel, eds.), volume 13222 of LNCS, pages 127–142, 2022, Springer. Note: best paper award winner |
| [1072] | A Large Neighborhood Search for a Cooperative Optimization Approach to Distribute Service Points in Mobility Applications Metaheuristics and Nature Inspired Computing (Bernabé Dorronsoro, Farouk Yalaoui, El-Ghazali Talbi, Grégoire Danoy, eds.), volume 1541 of CCIS, pages 3–17, 2022, Springer. |
| [1071] | Learning Beam Search: Utilizing Machine Learning to Guide Beam Search for Solving Combinatorial Optimization Problems Machine Learning, Optimization, and Data Science, LOD 2021 (Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Giorgio Jansen, Panos M. Pardalos, Giovanni Giuffrida, Renato Umeton, eds.), volume 13164 of LNCS, pages 283–298, 2022, Springer. |
| [1070] | Parallel Beam Search for Combinatorial Optimization Fifteenth International Symposium on Combinatorial Search (SoCS 2022), pages 273–275, 2022, AAAI. |
| [1069] | Turbocharging Heuristics for Weak Coloring Numbers European Symposium on Algorithms (ESA 2022) (Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman, eds.), volume 244 of LIPIcs, pages 44:1–44:18, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1068] | Combinatorial and Algorithmic Aspects of Monadic Stability 33rd International Symposium on Algorithms and Computation (ISAAC 2022) (Sang Won Bae, Heejin Park, eds.), volume 248 of Leibniz International Proceedings in Informatics (LIPIcs), pages 11:1–11:17, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1067] | On Computing Optimal Linear Diagrams Diagrammatic Representation and Inference (DIAGRAMS'22) (Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana, eds.), volume 13462 of LNAI, pages 20–36, 2022, Springer. |
| [1066] | Multidimensional Manhattan Preferences Theoretical Informatics (LATIN'22) (Armando Castañeda, Francisco Rodríguez-Henríquez, eds.), volume 13568 of LNCS, pages 273–289, 2022, Springer. |
| [1065] | Minimum Link Fencing Algorithms and Computation (ISAAC'22) (Sang Won Bae, Heejin Park, eds.), volume 248 of LIPIcs, pages 34:1–34:14, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1064] | Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding Squares Scandinavian Symposium and Workshops on Algorithm Theory (SWAT'22) (Artur Czumaj, Qin Xin, eds.), volume 227 of LIPIcs, pages 4:1–4:19, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1063] | Learning Large Bayesian Networks with Expert Constraints 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. |
| [1062] | Preface: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria, volume 241 of LIPIcs, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1061] | A SAT Approach to Twin-Width 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). |
| [1060] | PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT 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. |
| [1059] | SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge) 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. |
| [1058] | On Critical Node Problems with Vulnerable Vertices Combinatorial Algorithms - 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings (Cristina Bazgan, Henning Fernau, eds.), volume 13270 of Lecture Notes in Computer Science, pages 494–508, 2022, Springer Verlag. |
| [1057] | Pedant: A Certifying DQBF Solver 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 20:1–20:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1056] | A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation Evolutionary Computation in Combinatorial Optimization - 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings (Leslie Pérez Cáceres, Sébastien Vérel, eds.), volume 13222 of Lecture Notes in Computer Science, pages 127–142, 2022, Springer Verlag. |
| [1055] | Covering Many (Or Few) Edges with k Vertices in Sparse Graphs 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference) (Petra Berenbrink, Benjamin Monmege, eds.), volume 219 of LIPIcs, pages 42:1–42:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1054] | A SAT Attack on Rota’s Basis Conjecture 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. |
| [1053] | The Complexity of Temporal Vertex Cover in Small-Degree Graphs Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, pages 10193–10201, 2022, AAAI Press. |
| [1052] | Parameterised Partially-Predrawn Crossing Number 38th International Symposium on Computational Geometry, SoCG 2022, June 7-10, 2022, Berlin, Germany (Xavier Goaoc, Michael Kerber, eds.), volume 224 of LIPIcs, pages 46:1–46:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1051] | The Parameterized Complexity of s-Club with Triangle and Seed Constraints Combinatorial Algorithms - 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings (Cristina Bazgan, Henning Fernau, eds.), volume 13270 of Lecture Notes in Computer Science, pages 313–326, 2022, Springer Verlag. |
| [1050] | Slim Tree-Cut Width 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 15:1–15:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1049] | Hedonic Diversity Games: A Complexity Picture with More than Two Colors Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, pages 5034–5042, 2022, AAAI Press. |
| [1048] | The Complexity of k-Means Clustering when Little is Known International Conference on Machine Learning, ICML 2022, 17-23 July 2022, Baltimore, Maryland, USA (Kamalika Chaudhuri, Stefanie Jegelka, Le Song, Csaba Szepesvári, Gang Niu, Sivan Sabato, eds.), volume 162 of Proceedings of Machine Learning Research, pages 6960–6987, 2022, PMLR. |
| [1047] | The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-Width 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France (Mikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff, eds.), volume 229 of LIPIcs, pages 66:1–66:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1046] | Weighted Model Counting with Twin-Width 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. |
| [1045] | Longest Cycle above Erd\Hos–Gallai Bound 30th Annual European Symposium on Algorithms (ESA 2022), volume 271 of LIPIcs, pages 13:1–13:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1044] | Detours in Directed Graphs 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) (Petra Berenbrink, Benjamin Monmege, eds.), volume 219 of Leibniz International Proceedings in Informatics (LIPIcs), pages 29:1–29:16, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [1043] | A Unifying Framework for Characterizing and Computing Width Measures 13th Innovations in Theoretical Computer Science Conference, ITCS 2022, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1042] | Finding a Cluster in Incomplete Data 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. |
| [1041] | Tractable Abstract Argumentation via Backdoor-Treewidth 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. |
| [1040] | SAT Backdoors: Depth Beats Size 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. |
| [1039] | CSP Beyond Tractable Constraint Languages 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel (Christine Solnon, ed.), volume 235 of LIPIcs, pages 20:1–20:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1038] | The Complexity of Envy-Free Graph Cutting Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 (Luc De Raedt, ed.), pages 237–243, 2022, ijcai.org. |
| [1037] | Towards Uniform Certification in QBF 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference) (Petra Berenbrink, Benjamin Monmege, eds.), volume 219 of LIPIcs, pages 22:1–22:23, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1036] | Testing Upward Planarity of Partial 2-Trees Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers (Patrizio Angelini, Reinhard von Hanxleden, eds.), volume 13764 of Lecture Notes in Computer Science, pages 175–187, 2022, Springer Verlag. |
| [1035] | Parameterized Algorithms for Upward Planarity 38th International Symposium on Computational Geometry, SoCG 2022, June 7-10, 2022, Berlin, Germany (Xavier Goaoc, Michael Kerber, eds.), volume 224 of LIPIcs, pages 26:1–26:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1034] | QCDCL with Cube Learning or Pure Literal Elimination - What is Best? Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 (Luc De Raedt, ed.), pages 1781–1787, 2022, ijcai.org. Note: Distinguished Paper Award |
| [1033] | Should Decisions in QCDCL Follow Prefix Order? 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 11:1–11:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1032] | FPT Approximation for Fair Minimum-Load Clustering 17th International Symposium on Parameterized and Exact Computation (IPEC 2022), 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Note: to appear |
| [1031] | Lossy Kernelization of Same-Size Clustering Computer Science – Theory and Applications: 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 – July 1, 2022, Proceedings, pages 96–114, 2022, Springer-Verlag. |
| [1030] | How to Find a Good Explanation for Clustering? Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, pages 3904–3912, 2022, AAAI Press. |
| [1029] | Edge-Cut Width: An Algorithmically Driven Analogue of Treewidth Based on Edge Cuts Graph-Theoretic Concepts in Computer Science - 48th International Workshop, WG 2022, Tübingen, Germany, June 22-24, 2022, Revised Selected Papers (Michael A. Bekos, Michael Kaufmann, eds.), volume 13453 of Lecture Notes in Computer Science, pages 98–113, 2022, Springer Verlag. |
| [1028] | Bounding and Computing Obstacle Numbers of Graphs 30th Annual European Symposium on Algorithms, ESA 2022, September 5-9, 2022, Berlin/Potsdam, Germany (Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman, eds.), volume 244 of LIPIcs, pages 11:1–11:13, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [1027] | Model Checking on Interpretations of Classes of Bounded Local Cliquewidth Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 2022, Association for Computing Machinery. |
| [1026] | Treelike Decompositions for Transductions of Sparse Graphs Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 2022, Association for Computing Machinery. |
| [1025] | Computing Treewidth with Constraint Programming pages 115–126, September 2022, SKILL 2022, Gesellschaft für Informatik, Bonn. |
| [1024] | Computational Optimization Approaches for Distributing Service Points for Mobility Applications and Smart Charging of Electric Vehicles feb 2022, PhD thesis, Institute of Logic and Computation, TU Wien. Note: supervised by G. R. Raidl and T. Rodemann |
| [1023] | On Hard Subgraph Problems: Parameterized Algorithms and Efficient Implementations 2022, PhD thesis, University of Marburg, Germany. |
| [1022] | Optimization of Container Transportation for Fixed-Schedule Block Trains with Optional Round Trips in Collaborative Logistics Dec 2022, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl, G. Brandstätter, and U. Ritzinger |
| [1021] | Minimizing Makespan in Flow Shops with a Reinforcement Learning Like Approach May 2022, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and Marc Huber |
| [1020] | A Matheuristic for Battery Exchange Station Location Planning for Electric Scooters Jan 2022, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and T. Jatschka |
| [1019] | Scrambling permutations and related structures: asymptotics and constructions 2022, Master's thesis, TU Wien, Institute of Discrete Mathematics and Geometry. Note: supervised by B. Gittenberger |
| 2021 | |
| [1018] | External Labeling: Fundamental Concepts and Algorithmic Techniques 2021, Morgan & Claypool. |
| [1017] | On the Readability of Abstract Set Visualizations IEEE Trans. Visualization and Computer Graphics, volume 27, number 6, pages 2821–2832, 2021. |
| [1016] | Solving the Longest Common Subsequence Problem Concerning Non-Uniform Distributions of Letters in Input Strings Mathematics, volume 9, number 13, 2021. |
| [1015] | Multivalued Decision Diagrams for Prize-Collecting Job Sequencing with One Common and Multiple Secondary Resources Annals of Operations Research, volume 302, pages 407–531, 2021. |
| [1014] | Labeling Nonograms: Boundary Labeling for Curve Arrangements Comput. Geom. Theory Appl., volume 98, pages 101791, 2021. |
| [1013] | MetroSets: Visualizing Sets as Metro Maps IEEE Trans. Visualization and Computer Graphics, volume 27, number 2, pages 1257–1267, 2021. |
| [1012] | Smart Charging of Electric Vehicles Considering SOC-Dependent Maximum Charging Powers Energies, volume 14, number 22, 2021. |
| [1011] | A General Cooperative Optimization Approach for Distributing Service Points in Mobility Applications Algorithms, volume 14, number 8, pages 232, 2021. |
| [1010] | A*-based Construction of Decision Diagrams for a Prize-Collecting Scheduling Problem Computers & Operations Research, volume 126, number 105125, 2021. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/tr/ac-tr-18-011a.pdf |
| [1009] | A* Search for Prize-Collecting Job Sequencing with One Common and Multiple Secondary Resources Annals of Operations Research, volume 302, pages 477–501, 2021. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/tr/ac-tr-19-002.pdf |
| [1008] | Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 21293) Dagstuhl Reports, volume 11, number 6, pages 82–123, 2021. |
| [1007] | ClusterSets: Optimizing Planar Clusters in Categorical Point Data Computer Graphics Forum, volume 40, number 3, pages 471–481, 2021. |
| [1006] | Measuring what matters: A hybrid approach to dynamic programming with treewidth J. Comput. Syst. Sci., volume 121, pages 57–75, 2021. |
| [1005] | Geometric Planar Networks on Bichromatic Collinear Points Theoretical Computer Science, volume 895, pages 124–136, 2021. |
| [1004] | Finding the Hardest Formulas for Resolution Journal of Artificial Intelligence Research, volume 72, pages 69–97, 2021. Note: Conference Award Track, best paper CP 2020 |
| [1003] | Enumerating connected induced subgraphs: Improved delay and experimental comparison Discr. Appl. Math., volume 303, pages 262–282, 2021. |
| [1002] | Destroying Bicolored $P_3$s by Deleting Few Edges Discret. Math. Theor. Comput. Sci., volume 23, number 1, 2021. |
| [1001] | New Width Parameters for SAT and Sharp-SAT Artificial Intelligence, volume 295, pages 103460, 2021. |
| [1000] | On Structural Parameterizations of the Edge Disjoint Paths Problem Algorithmica, volume 83, number 6, pages 1605–1637, 2021. |
| [999] | The Power of Cut-Based Parameters for Computing Edge-Disjoint Paths Algorithmica, volume 83, number 2, pages 726–752, 2021. |
| [998] | On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem Algorithmica, volume 83, number 1, pages 297–336, 2021. |
| [997] | On Strict (Outer-)Confluent Graphs J. Graph Algorithms Appl., 2021. |
| [996] | Parameterized k-Clustering: Tractability island Journal of Computer and System Sciences, volume 117, pages 50 - 74, 2021. |
| [995] | Graphs with at most two moplexes Journal of Graph Theory, 2021, Wiley Online Library. |
| [994] | The complexity landscape of decompositional parameters for ILP: Programs with Few Global Variables and Constraints Artificial Intelligence, 2021. |
| [993] | Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths Electron. Colloquium Comput. Complex., pages 135, 2021. |
| [992] | Towards a Polynomial Kernel for Directed Feedback Vertex Set Algorithmica, volume 83, number 5, pages 1201–1221, 2021. |
| [991] | Fixed-Parameter Tractability Chapter in Handbook of Satisfiability, 2nd Edition (Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, eds.), pages 693–736, 2021, IOS Press. |
| [990] | Stable Visual Summaries for Trajectory Collections Pacific Visualization Symposium (PacificVis'21), pages 61–70, 2021, IEEE. |
| [989] | Layered Area-Proportional Rectangle Contact Representation Graph Drawing and Network Visualization (GD'21) (Helen Purchase, Ignaz Rutter, eds.), volume 12868 of LNCS, pages 318–326, 2021, Springer. |
| [988] | Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems 17th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'21) (Peter J. Stuckey, ed.), volume 12735 of LNCS, pages 72–88, 2021, Springer. |
| [987] | Driver Shift Planning for an Online Store with Short Delivery Times Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), volume 180 of Procedia Computer Science, pages 517–524, 2021. |
| [986] | Route Duration Prediction in a Stochastic and Dynamic Vehicle Routing Problem with Short Delivery Deadlines Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), volume 180 of Procedia Computer Science, pages 366-370, 2021. |
| [985] | Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1-13, 2021. Note: distinguished paper |
| [984] | Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems 17th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'21) (Peter J. Stuckey, ed.), volume 12735 of LNCS, pages 283–298, 2021, Springer. |
| [983] | Disjoint Box Covering in a Rectilinear Polygon European Workshop on Computational Geometry (EuroCG'21), pages 71:1–71:7, 2021. |
| [982] | Untangling Circular Drawings: Algorithms and Complexity Algorithms and Computation (ISAAC'21) (Hee-Kap Ahn, Kunihiko Sadakane, eds.), volume 212 of LIPIcs, pages 19:1–19:17, 2021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [981] | Unit Disk Representations of Embedded Trees, Outerplanar and Multi-Legged Graphs Graph Drawing and Network Visualization (GD'21) (Helen Purchase, Ignaz Rutter, eds.), volume 12868 of LNCS, pages 304–317, 2021, Springer. |
| [980] | Balanced Independent and Dominating Sets on Colored Interval Graphs Theory and Practice of Computer Science (SOFSEM'21) (Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence Wong, eds.), volume 12607 of LNCS, pages 89–103, 2021, Springer. |
| [979] | Worbel: Aggregating Point Labels into Word Clouds Advances in Geographic Information Systems (SIGSPATIAL'21), pages 256–267, 2021, ACM. |
| [978] | On the Upward Book Thickness Problem: Combinatorial and Complexity Results Graph Drawing and Network Visualization (GD'21) (Helen Purchase, Ignaz Rutter, eds.), volume 12868 of LNCS, pages 242–256, 2021, Springer. |
| [977] | Learning fast-inference Bayesian networks 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. |
| [976] | Turbocharging Treewidth-Bounded Bayesian Network Structure Learning Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3895–3903, 2021, AAAI Press. |
| [975] | Computing Optimal Hypertree Decompositions with SAT Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), 2021. |
| [974] | SAT-based Decision Tree Learning for Large Data Sets Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3904–3912, 2021, AAAI Press. |
| [973] | Certified DQBF Solving by Definition Extraction Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li, Felip Manyà, eds.), volume 12831 of Lecture Notes in Computer Science, pages 499–517, 2021, Springer Verlag. |
| [972] | First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021 (Temur Kutsia, ed.), volume 342 of EPTCS, pages 99–113, 2021. |
| [971] | Finding the Hardest Formulas for Resolution (Extended Abstract) 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 |
| [970] | Parameterized Complexity of Small Decision Tree Learning Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 6454–6462, 2021, AAAI Press. |
| [969] | Backdoor DNFs Proceeding of IJCAI-2021, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), pages 1403–1409, 2021. |
| [968] | Proof Complexity of Symbolic QBF Reasoning Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li, Felip Manyà, eds.), volume 12831 of Lecture Notes in Computer Science, pages 399–416, 2021, Springer Verlag. |
| [967] | Essentially Tight Kernels For (Weakly) Closed Graphs 32nd International Symposium on Algorithms and Computation, ISAAC 2021, December 6-8, 2021, Fukuoka, Japan (Hee-Kap Ahn, Kunihiko Sadakane, eds.), volume 212 of LIPIcs, pages 35:1–35:15, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [966] | SAT Modulo Symmetries for Graph Generation 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. |
| [965] | Computing Kemeny Rankings from d-Euclidean Preferences Algorithmic Decision Theory - 7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021, Proceedings, volume 13023 of Lecture Notes in Computer Science, pages 147–161, 2021, Springer Verlag. |
| [964] | Preventing Small (s,t)Cuts by Protecting Edges Graph-Theoretic Concepts in Computer Science - 47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers (Lukasz Kowalik, Michal Pilipczuk, Pawel Rzazewski, eds.), volume 12911 of Lecture Notes in Computer Science, pages 143–155, 2021, Springer Verlag. |
| [963] | Engineering an Efficient Boolean Functional Synthesis Engine IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, pages 1–9, 2021, IEEE. |
| [962] | The Complexity of Bayesian Network Learning: Revisiting the Superstructure Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual (Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, Jennifer Wortman Vaughan, eds.), pages 430–442, 2021. |
| [961] | The Complexity of Object Association in Multiple Object Tracking Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Virtual Event, February 2-9, 2021, pages 1388–1396, 2021, AAAI Press. |
| [960] | Crossing-Optimal Extension of Simple Drawings 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference) (Nikhil Bansal, Emanuela Merelli, James Worrell, eds.), volume 198 of LIPIcs, pages 72:1–72:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [959] | The Parameterized Complexity of Clustering Incomplete Data Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 7296–7304, 2021, AAAI Press. |
| [958] | EPTAS for \emphk-means Clustering of Affine Subspaces Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021 (Dániel Marx, ed.), pages 2649–2659, 2021, SIAM. |
| [957] | Approximate Evaluation of First-Order Counting Queries Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA 2021), 2021, SIAM. |
| [956] | The Parameterized Complexity of Connected Fair Division 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 139–145, 2021, ijcai.org. |
| [955] | Graphs with two moplexes Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2021, 2021, Elsevier. |
| [954] | Davis and Putnam Meet Henkin: Solving DQBF with Resolution Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li, Felip Manyà, eds.), volume 12831 of Lecture Notes in Computer Science, pages 30–46, 2021, Springer Verlag. |
| [953] | On Coresets for Fair Clustering in Metric and Euclidean Spaces and Their Applications 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference), 2021. |
| [952] | Parameterized Complexity of Feature Selection for Categorical Data Clustering 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) (Filippo Bonchi, Simon J. Puglisi, eds.), volume 202 of Leibniz International Proceedings in Informatics (LIPIcs), pages 14:1–14:14, 2021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [951] | Worbel: Aggregating Point Labels into Word Clouds Proceedings of the International Conference on Advances in Geographic Information Systems 2021 (ACM SIGSPATIAL 2021), 2021. |
| [950] | Exact and heuristic approaches for solving string problems from bioinformatics Dec 2021, PhD thesis, Institute of Logic and Computation, TU Wien. Note: supervised by G. R. Raidl |
| [949] | A Learning Large Neighborhood Search for the Staff Rerostering Problem Oct 2021, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and E. Rönnberg and M. Huber, winner of the Austrian OCG Förderpreis 2022 |
| [948] | Computational Methods for Fleet Scheduling in E-Mobility Aug 2021, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl |
| [947] | Scheduling the Charging of Electric Vehicles with SOC-Dependent Maximum Charging Power Apr 2021, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and T. Jatschka |
| [946] | Randomized Construction Approaches to the Traveling Tournament Problem using Lower Bound Based Heuristics Mar 2021, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and N. Frohner |
| 2020 | |
| [945] | An Iterative Time-Bucket Refinement Algorithm for a High-Resolution Resource-Constrained Project Scheduling Problem International Transactions in Operational Research, jan 2020. |
| [944] | A Survey on Transit Map Layout – from Design, Machine, and Human Perspectives Computer Graphics Forum, volume 39, number 3, pages 619–646, 2020. |
| [943] | A Lower Bound for the Smallest Uniquely Hamiltonian Planar Graph with Minimum Degree Three Applied Mathematics and Computation, volume 380, number 125233, 2020. |
| [942] | A Model for Finding Transition-Minors Discrete Applied Mathematics, volume 228, pages 242–264, 2020. |
| [941] | A Unified Model and Algorithms for Temporal Map Labeling Algorithmica, volume 82, pages 2709–2736, 2020. |
| [940] | Placing Labels in Road Maps: Algorithms and Complexity Algorithmica, volume 82, pages 1881–1908, 2020. |
| [939] | Route Schematization with Landmarks J. Spatial Information Science, volume 21, 2020. |
| [938] | Finding Longest Common Subsequences: New anytime A$^*$ Search Results Applied Soft Computing, volume 95, number 106400, 2020. |
| [937] | An A* Search Algorithm for the Constrained Longest Common Subsequence Problem Information Processing Letters, volume 166, number 106041, 2020. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/tr/ac-tr-20-004.pdf |
| [936] | Anytime Algorithms for the Longest Common Palindromic Subsequence Problem Computers & Operations Research, volume 114, pages 104827, 2020, Elsevier. |
| [935] | Solving Longest Common Subsequence Problems via a Transformation to the Maximum Clique Problem Computers & Operations Research, volume 125, number 105089, 2020. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/tr/ac-tr-20-003.pdf |
| [934] | Parameterized Algorithms for Book Embedding Problems J. Graph Algorithms Appl., volume 24, number 4, pages 603–620, 2020. |
| [933] | Parameterized algorithms for Module Map problems Discr. Appl. Math., volume 283, pages 396–416, 2020. |
| [932] | Using decomposition-parameters for QBF: Mind the prefix! J. Comput. Syst. Sci., volume 110, pages 1–21, 2020. |
| [931] | On Existential MSO and Its Relation to ETH ACM Trans. Comput. Theory, volume 12, number 4, pages 22:1–22:32, 2020. |
| [930] | Foreword: Eighth Workshop on Graph Classes, Optimization, and Width Parameters, Toronto, Ontario, Canada Discr. Appl. Math., volume 278, pages 1–2, 2020. |
| [929] | Complexity of independency and cliquy trees Discr. Appl. Math., volume 272, pages 2–15, 2020. |
| [928] | Crossing Layout in Non-planar Graphs Chapter in Beyond Planar Graphs (Seok-Hee Hong, Takeshi Tokuyama, eds.), pages 187–209, 2020, Springer Nature Singapore. |
| [927] | The Turing Test for Graph Drawing Algorithms Graph Drawing and Network Visualization (GD'20) (David Auber, Pavel Valtr, eds.), volume 12590 of LNCS, pages 466–481, 2020, Springer. |
| [926] | Towards Data-Driven Multilinear Metro Maps Diagrammatic Representation and Inference (DIAGRAMS'20) (Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld de Smet, Valeria Giardino, James Corter, Sven Linker, eds.), volume 12169 of LNAI, pages 153–161, 2020, Springer. |
| [925] | Labeling Nonograms European Workshop on Computational Geometry (EuroCG'20), pages 71:1–71:8, 2020. |
| [924] | A Variable Neighborhood Search for the Job Sequencing with One Common and Multiple Secondary Resources Problem Proceedings of PPSN XVI: Parallel Problem Solving from Nature (Thomas Bäck, Mike Preuss, André Deutz, Hao Wang, Carola Doerr, Michael Emmerich, Heike Trautmann, eds.), volume 12270 of LNCS, pages 385–398, 2020, Springer. |
| [923] | Distributing Battery Swapping Stations for Electric Scooters in an Urban Area Optimization and Applications, Proceedings of OPTIMA 2020 – XI International Conference Optimization and Applications (Nicholas Olenev, Yuri Evtushenko, Michael Khachay, Vlasta Malkova, eds.), volume 12422 of LNCS, pages 150–165, 2020, Springer. |
| [922] | Exploiting Similar Behavior of Users in a Cooperative Optimization Approach for Distributing Service Points in Mobility Applications Machine Learning, Optimization, and Data Science – 5th International Conference, LOD 2019 (Giuseppe Nicosia, Panos Pardalos, Renato Umeton, Giovanni Giuffrida, Vincenzo Sciacca, eds.), volume 11943 of LNCS, pages 738–750, 2020, Springer. |
| [921] | VNS and PBIG as Optimization Cores in a Cooperative Optimization Approach for Distributing Service Points Computer Aided Systems Theory – EUROCAST 2019, volume 12013 of LNCS, pages 255–262, 2020, Springer. |
| [920] | On the Use of Decision Diagrams for Finding Repetition-Free Longest Common Subsequences Proceedings of OPTIMA 2020 – XI International Conference Optimization and Applications (Nicholas Olenev, Yuri Evtushenko, Michael Khachay, Vlasta Malkova, eds.), volume 12422 of LNCS, pages 134–149, 2020, Springer. |
| [919] | Decision Diagram Based Limited Discrepancy Search for a Job Sequencing Problem Computer Aided Systems Theory – EUROCAST 2019 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 12013 of LNCS, pages 344–351, 2020, Springer. |
| [918] | A Double-Horizon Approach to a Purely Dynamic and Stochastic Vehicle Routing Problem with Delivery Deadlines and Shift Flexibility Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2020: Volume I (Patrick De Causmaecker, Ender Özcan, Greet Vanden Berghe, eds.), 2020. |
| [917] | A Beam Search Approach to the Traveling Tournament Problem Evolutionary Computation in Combinatorial Optimization – 20th European Conference, EvoCOP 2020 (Luís Paquete, Christine Zarges, eds.), volume 12102 of LNCS, pages 67–82, 2020, Springer. |
| [916] | Merging Quality Estimation for Binary Decision Diagrams with Binary Classifiers Machine Learning, Optimization, and Data Science – 5th International Conference, LOD 2019 (Giuseppe Nicosia, Panos Pardalos, Renato Umeton, Giovanni Giuffrida, Vincenzo Sciacca, eds.), volume 11943 of LNCS, pages 445–457, 2020, Springer. |
| [915] | Casual Employee Scheduling with Constraint Programming and Metaheuristics Computer Aided Systems Theory – EUROCAST 2019 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 12013 of LNCS, pages 279–287, 2020, Springer. |
| [914] | Extending Partial 1-Planar Drawings Automata, Languages, and Programming (ICALP'20) (Artur Czumaj, Anuj Dawar, Emanuela Merelli, eds.), volume 168 of LIPIcs, pages 43:1–43:19, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. |
| [913] | Extending Nearly Complete 1-Planar Drawings in Polynomial Time Mathematical Foundations of Computer Science (MFCS'20) (Javier Esparza, Daniel Král', eds.), volume 170 of LIPIcs, pages 31:1–31:16, 2020, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [912] | On Solving a Generalized Constrained Longest Common Subsequence Problem Proceedings of OPTIMA 2020 – XI International Conference Optimization and Applications (Nicholas Olenev, Yuri Evtushenko, Michael Khachay, Vlasta Malkova, eds.), volume 12422 of LNCS, pages 55–79, 2020, Springer. |
| [911] | A Beam Search for the Longest Common Subsequence Problem Guided by a Novel Approximate Expected Length Calculation Proceedings of LOD 2019 – The 5th International Conference on Machine Learning, Optimization and Data Science (Giuseppe Nicosia, Panos Pardalos, Giovanni Giuffrida, Renato Umeton, Vincenzo Sciacca, eds.), volume 11943 of LNCS, pages 154–167, 2020, Springer. |
| [910] | An Algorithmic Study of Fully Dynamic Independent Sets for Map Labeling Algorithms (ESA'20) (Fabrizio Grandoni, Peter Sanders, Grzegorz Herman, eds.), volume 173 of LIPIcs, pages 19:1–19:24, 2020, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [909] | Balanced Independent and Dominating Sets on Colored Interval Graphs European Workshop on Computational Geometry (EuroCG'20), pages 66:1–66:6, 2020. |
| [908] | Parameterized Algorithms for Queue Layouts Graph Drawing and Network Visualization (GD'20) (David Auber, Pavel Valtr, eds.), volume 12590 of LNCS, pages 40–54, 2020, Springer. |
| [907] | Layered Fan-Planar Graph Drawings Mathematical Foundations of Computer Science (MFCS'20) (Javier Esparza, Daniel Král', eds.), volume 170 of LIPIcs, pages 14:1–14:13, 2020, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. |
| [906] | Geometric Planar Networks on Bichromatic Points Algorithms and Discrete Applied Mathematics (CALDAM'20) (Manoj Changat, Sandip Das, eds.), volume 12016 of LNCS, pages 79–91, 2020, Springer. |
| [905] | MaxSAT-Based Postprocessing for Treedepth 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. |
| [904] | A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth 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. |
| [903] | Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing Computer Aided Verification - 32nd International Conference, CAV 2020 (Shuvendu K. Lahiri, Chao Wang, eds.), volume 12224 of Lecture Notes in Computer Science, pages 508–528, 2020, Springer Verlag. |
| [902] | Short Q-Resolution Proofs with Homomorphisms 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. |
| [901] | Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 429–446, 2020, Springer Verlag. |
| [900] | Computing Optimal Hypertree Decompositions Proceedings of ALENEX 2020, the 22nd SIAM Symposium on Algorithm Engineering and Experiments (Guy Blelloch, Irene Finocchi, eds.), pages 1–11, 2020, Society for Industrial and Applied Mathematics (SIAM). |
| [899] | Finding the Hardest Formulas for Resolution 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 |
| [898] | Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings (Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos A. Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora, eds.), volume 12011 of Lecture Notes in Computer Science, pages 248–259, 2020, Springer Verlag. |
| [897] | Colored Cut Games 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) (Nitin Saxena, Sunil Simon, eds.), volume 182 of LIPIcs, pages 30:1–30:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [896] | Formalizing Graph Trail Properties in Isabelle/HOL 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. |
| [895] | FixCon: A Generic Solver for Fixed-Cardinality Subgraph Problems Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2020, Salt Lake City, UT, USA, January 5-6, 2020 (Guy E. Blelloch, Irene Finocchi, eds.), pages 12–26, 2020, SIAM. |
| [894] | Computing Dense and Sparse Subgraphs of Weakly Closed Graphs 31st International Symposium on Algorithms and Computation, ISAAC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference) (Yixin Cao, Siu-Wing Cheng, Minming Li, eds.), volume 181 of LIPIcs, pages 20:1–20:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [893] | Exploiting c-Closure in Kernelization Algorithms for Graph Problems 28th Annual European Symposium on Algorithms, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference) (Fabrizio Grandoni, Grzegorz Herman, Peter Sanders, eds.), volume 173 of LIPIcs, pages 65:1–65:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [892] | String Factorizations Under Various Collision Constraints 31st Annual Symposium on Combinatorial Pattern Matching, CPM 2020, June 17-19, 2020, Copenhagen, Denmark (Inge Li Gørtz, Oren Weimann, eds.), volume 161 of LIPIcs, pages 17:1–17:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [891] | Threshold Treewidth and Hypertree Width 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. |
| [890] | Fixed-Parameter Tractability of Dependency QBF with Structural Parameters 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. |
| [889] | On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank Proceeding of AAAI-20, the Thirty-Fourth AAAI Conference on Artificial Intelligence, February 7–12, 2020, New York, pages 3906–3913, 2020, AAAI Press. |
| [888] | An Efficient Algorithm for Counting Markov Equivalent DAGs The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, NY, USA, February 7-12, 2020, pages 10136–10143, 2020, AAAI Press. |
| [887] | The Complexity Landscape of Resource-Constrained Scheduling Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 (Christian Bessiere, ed.), pages 1741–1747, 2020, ijcai.org. |
| [886] | Building Large k-Cores from Sparse Graphs 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) (Javier Esparza, Daniel Kráľ, eds.), volume 170 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35:1–35:14, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. |
| [885] | Low-Rank Binary Matrix Approximation in Column-Sum Norm Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020) (Jarosław Byrka, Raghu Meka, eds.), volume 176 of Leibniz International Proceedings in Informatics (LIPIcs), pages 32:1–32:18, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. |
| [884] | Towards Faster Reasoners by Using Transparent Huge Pages Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, volume 12333 of Lecture Notes in Computer Science, pages 304–322, 2020, Springer Verlag. |
| [883] | Breaking Symmetries with RootClique and LexTopsort 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. |
| [882] | A Time Leap Challenge for SAT-Solving 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. |
| [881] | Solving the Steiner Tree Problem with few Terminals 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pages 293–300, 2020, IEEE. |
| [880] | Parameterized Complexity of Envy-Free Resource Allocation in Social Networks The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, NY, USA, February 7-12, 2020, pages 7135–7142, 2020, AAAI Press. |
| [879] | Extending Nearly Complete 1-Planar Drawings in Polynomial Time 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic (Javier Esparza, Daniel Král', eds.), volume 170 of LIPIcs, pages 31:1–31:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [878] | Extending Partial 1-Planar Drawings 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference) (Artur Czumaj, Anuj Dawar, Emanuela Merelli, eds.), volume 168 of LIPIcs, pages 43:1–43:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [877] | Manipulating Districts to Win Elections: Fine-Grained Complexity The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, NY, USA, February 7-12, 2020, pages 1902–1909, 2020, AAAI Press. |
| [876] | Hard Problems on Random Graphs 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), volume 168 of Leibniz International Proceedings in Informatics (LIPIcs), pages 40:1–40:14, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. |
| [875] | Maximum Shallow Clique Minors in Preferential Attachment Graphs have Polylogarithmic Size Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020), volume 176 of LIPIcs, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [874] | First-Order Model-Checking in Random Graphs and Complex Networks 28th Annual European Symposium on Algorithms (ESA 2020), volume 173 of LIPIcs, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [873] | Stable Matchings with Diversity Constraints: Affirmative Action is beyond NP Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 (Christian Bessiere, ed.), pages 146–152, 2020, ijcai.org. |
| [872] | Parameterized Algorithms for Queue Layouts Graph Drawing and Network Visualization - 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020, Revised Selected Papers (David Auber, Pavel Valtr, eds.), volume 12590 of Lecture Notes in Computer Science, pages 40–54, 2020, Springer Verlag. |
| [871] | Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths 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 394–411, 2020, Springer Verlag. |
| [870] | Hard QBFs for Merge Resolution 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) (Nitin Saxena, Sunil Simon, eds.), volume 182 of LIPIcs, pages 12:1–12:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [869] | On Covering Segments with Unit Intervals 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France (Christophe Paul, Markus Bläser, eds.), volume 154 of LIPIcs, pages 13:1–13:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [868] | A Large Neighborhood Search for Distributing Service Points in Mobility Applications with Capacities and Limited Resources 09 2020, Presentation, CPAIOR2020. |
| [867] | Combinatorial Optimization Approaches for Graph Construction Problems apr 2020, PhD thesis, Institute of Logic and Computation, TU Wien. Note: supervised by Günther R. Raidl |
| [866] | Casual Employee Scheduling with Constraint Programming and Metaheuristics nov 2020, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and N. Frohner |
| [865] | Solving a Generalized Constrained Longest Common Subsequence Problem jun 2020, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and M. Djukanovic |
| [864] | Heuristische Optimierungsverfahren für die Koordinierung von Flughafenslots mar 2020, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and A. Chwatal |
| 2019 | |
| [863] | Metabopolis: scalable network layout for biological pathway diagrams in urban map style BMC Bioinformatics, volume 20, pages 187, 2019. |
| [862] | Exact Approaches for Network Design Problems with Relays INFORMS Journal on Computing, volume 31, number 1, pages 171–192, 2019. |
| [861] | Photonic-integrated circuits with non-planar topologies realized by 3D-printed waveguide overpasses Optics Express, volume 27, number 12, pages 17402–17425, 2019. |
| [860] | Minimizing crossings in constrained two-sided circular graph layouts J. Computational Geometry, volume 10, number 2, pages 45–69, 2019. |
| [859] | Lombardi Drawings of Knots and Links J. Computational Geometry, volume 10, number 1, pages 444–476, 2019. |
| [858] | Snarks with Special Spanning Trees Graphs and Combinatorics, volume 35, number 1, pages 207–219, 2019, Springer. |
| [857] | Job Sequencing with One Common and Multiple Secondary Resources: An A*/Beam Search Based Anytime Algorithm Artificial Intelligence, volume 277, number 103173, 2019. |
| [856] | Short Plane Supports for Spatial Hypergraphs J. Graph Algorithms Appl., volume 23, number 3, pages 463–498, 2019. |
| [855] | On the Readability of Leaders in Boundary Labeling Information Visualization, volume 18, number 1, pages 110–132, 2019. |
| [854] | External Labeling Techniques: A Taxonomy and Survey Computer Graphics Forum, volume 38, number 3, pages 833–860, 2019. |
| [853] | Planar Drawings of Fixed-Mobile Bigraphs Theoretical Computer Science, volume 795, pages 408–419, 2019. |
| [852] | Guidelines for Experimental Algorithmics: A Case Study in Network Analysis Algorithms, volume 12, number 7, pages 127:1–127:37, 2019. |
| [851] | Dependency Learning for QBF Journal of Artificial Intelligence Research, volume 65, pages 180–208, 2019. |
| [850] | Long-Distance Q-Resolution with Dependency Schemes Journal of Automated Reasoning, volume 63, number 1, pages 127–155, 2019. |
| [849] | On the Parameterized Complexity of (k,s)-SAT Information Processing Letters, volume 143, pages 34–36, 2019. |
| [848] | A SAT Approach to Branchwidth ACM Transactions on Computational Logic, volume 20, number 3, pages 15:1–15:24, 2019. |
| [847] | Solving Integer Linear Programs by Exploiting Variable-Constraint Interactions: A Survey Algorithms, volume 12, number 12, pages 248, 2019. |
| [846] | On the Complexity Landscape of Connected f-Factor Problems Algorithmica, volume 81, number 6, pages 2606–2632, 2019. |
| [845] | Parameterized Complexity of Asynchronous Border Minimization Algorithmica, volume 81, number 1, pages 201–223, 2019. |
| [844] | Shrub-Depth: Capturing Height of Dense Graphs Logical Methods in Computer Science, 2019. |
| [843] | Counting linear extensions: Parameterizations by treewidth Algorithmica, 2019. |
| [842] | Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy MDPI Algorithms, volume 12, number 9, pages 1–28, 2019. |
| [841] | VNS and PBIG as Optimization Cores in a Cooperative Optimization Approach for Distributing Service Points Chapter in Extended Abstracts of the 17th International Conference on Computer Aided Systems Theory (EUROCAST 2019) (Alexis Quesada-Arencibia, others, eds.), pages 70–71, feb 2019. |
| [840] | Metaheuristic Hybrids Chapter in Handbook of Metaheuristics (Michel Gendreau, Jean Yves Potvin, eds.), pages 385–417, 2019, Springer. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/raidl-19.pdf |
| [839] | Decision Diagram Based Limited Discrepancy Search for a Job Sequencing Problem Chapter in Extended Abstracts of the 17th International Conference on Computer Aided Systems Theory (EUROCAST 2019) (Alexis Quesada-Arencibia, others, eds.), pages 94–95, 2019. |
| [838] | Casual Employee Scheduling with Constraint Programming and Ant Colony Optimization Chapter in Extended Abstracts of the 17th International Conference on Computer Aided Systems Theory (EUROCAST 2019) (Alexis Quesada-Arencibia, others, eds.), pages 78–79, 2019. |
| [837] | A Memetic Algorithm for Competitive Facility Location Problems Chapter in Business and Consumer Analytics: New Ideas, pages 637–660, 2019, Springer. |
| [836] | Strategies for Iteratively Refining Layered Graph Models Hybrid Metaheuristics: 11th International Workshop, HM 2019 (M. J. Blesa Aguilera, C. Blum, H. Gambini Santos, P. Pinacho-Davidson, J. Godoy del Campo, eds.), volume 11299 of LNCS, pages 46–62, 2019, Springer. |
| [835] | Computing Stable Demers Cartograms Graph Drawing and Network Visualization (GD'19) (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of LNCS, pages 46–60, 2019, Springer. |
| [834] | A Novel Approach for Solving Large-Scale Bike Sharing Station Planning Problems Learning and Intelligent Optimization – 13th International Conference, LION 13 (Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos, eds.), volume 11968 of LNCS, pages 184–200, 2019, Springer. |
| [833] | A SAT Approach for Finding Sup-Transition-Minors Learning and Intelligent Optimization. LION 2019, volume 11968 of LNCS, pages 325–341, 2019, Springer. |
| [832] | A Cooperative Optimization Approach for Distributing Service Points in Mobility Applications Evolutionary Computation in Combinatorial Optimization (Arnaud Liefooghe, Luís Paquete, eds.), volume 11452 of LNCS, pages 1–16, 2019, Springer. |
| [831] | A Biased Random Key Genetic Algorithm with Rollout Evaluations for the Resource Constraint Job Scheduling Problem Proceedings of AI 2019: Advances in Artificial Intelligence (Jixue Liu, James Bailey, eds.), volume 11919 of LNCS, pages 549–560, 2019, Springer. |
| [830] | Maximizing Ink in Partial Edge Drawings of k-plane Graphs Graph Drawing and Network Visualization (GD'19) (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of LNCS, pages 323–336, 2019, Springer. |
| [829] | Efficient Segment Folding is Hard Canadian Conference on Computational Geometry (CCCG'19), pages 177–183, 2019. |
| [828] | Exploring Semi-Automatic Map Labeling Advances in Geographic Information Systems (SIGSPATIAL'19), pages 13–22, 2019, ACM. |
| [827] | Towards Improving Merging Heuristics for Binary Decision Diagrams Learning and Intelligent Optimization – 13th International Conference, LION 13 (Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos, eds.), volume 11968 of LNCS, pages 30–45, 2019, Springer. |
| [826] | On Strict (Outer-)Confluent Graphs Graph Drawing and Network Visualization (GD'19) (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of LNCS, pages 147–161, 2019, Springer. |
| [825] | Efficient Non-Segregated Routing for Reconfigurable Demand-Aware Networks IFIP Networking Conference (Networking'19), pages 1–9, 2019, IEEE. |
| [824] | A Heuristic Approach for Solving the Longest Common Square Subsequence Problem Proceedings of EUROCAST 2019 – 17th International Conference on Computer Aided Systems Theory (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 12013 of LNCS, pages 429-437, 2019, Springer. |
| [823] | A Heuristic Approach for Solving the Longest Common Square Subsequence Problem Extended Abstracts of the Seventeenth International Conference on Computer Aided Systems Theory (EUROCAST 2019), 2019. Note: accepted for presentation |
| [822] | Exact and Heuristic Approaches for the Longest Common Palindromic Subsequence Problem Proceedings of LION 12 – the 12th International Conference on Learning and Intelligent Optimization, volume 11353 of LNCS, pages 199–214, 2019, Springer. |
| [821] | Mixed Linear Layouts: Complexity, Heuristics, and Experiments Graph Drawing and Network Visualization (GD'19) (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of LNCS, pages 460–467, 2019, Springer. |
| [820] | Parameterized Algorithms for Book Embedding Problems Graph Drawing and Network Visualization (GD'19) (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of LNCS, pages 365–378, 2019, Springer. |
| [819] | Refined Complexity of PCA with Outliers Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA (Kamalika Chaudhuri, Ruslan Salakhutdinov, eds.), volume 97 of Proceedings of Machine Learning Research, pages 5818–5826, 2019, PMLR. |
| [818] | Group Activity Selection with Few Agent Types 27th Annual European Symposium on Algorithms, ESA 2019, September 9-11, 2019, Munich/Garching, Germany (Michael A. Bender, Ola Svensson, Grzegorz Herman, eds.), pages 48:1–48:16, 2019. |
| [817] | Proof Complexity of Fragments of Long-Distance Q-resolution Proceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7–12, 2019, Lisbon, Portugal (Mikoláš Janota, Inês Lynce, eds.), volume 11628 of Lecture Notes in Computer Science, pages 319–335, 2019, Springer Verlag. |
| [816] | Combining Resolution-Path Dependencies with Dependency Learning Proceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7–12, 2019, Lisbon, Portugal (Mikoláš Janota, Inês Lynce, eds.), volume 11628 of Lecture Notes in Computer Science, pages 306–318, 2019, Springer Verlag. |
| [815] | Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings (Barbara Catania, Rastislav Královic, Jerzy R. Nawrocki, Giovanni Pighizzini, eds.), volume 11376 of Lecture Notes in Computer Science, pages 272–284, 2019, Springer Verlag. |
| [814] | Finding Linear Arrangements of Hypergraphs with Bounded Cutwidth in Linear Time 14th International Symposium on Parameterized and Exact Computation, IPEC 2019, September 11-13, 2019, Munich, Germany (Bart M. P. Jansen, Jan Arne Telle, eds.), volume 148 of LIPIcs, pages 20:1–20:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [813] | Destroying Bicolored $P_3$s by Deleting Few Edges Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings (Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero, eds.), volume 11558 of Lecture Notes in Computer Science, pages 193–204, 2019, Springer Verlag. |
| [812] | A Join-Based Hybrid Parameter for Constraint Satisfaction Proceedings of CP 2019, the 25th International Conference on Principles and Practice of Constraint Programming (Thomas Schiex, Simon de Givry, eds.), volume 11802 of Lecture Notes in Computer Science, pages 195–212, 2019, Springer Verlag. |
| [811] | The Power of Cut-Based Parameters for Computing Edge Disjoint Paths Graph-Theoretic Concepts in Computer Science - 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19-21, 2019, Revised Papers (Ignasi Sau, Dimitrios M. Thilikos, eds.), pages 190–204, 2019. |
| [810] | SAT-Encodings for Treecut Width and Treedepth Proceedings of ALENEX 2019, the 21st Workshop on Algorithm Engineering and Experiments (Stephen G. Kobourov, Henning Meyerhenke, eds.), pages 117–129, 2019, Society for Industrial and Applied Mathematics (SIAM). |
| [809] | On Strict (Outer-)Confluent Graphs Graph Drawing and Network Visualization - 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of Lecture Notes in Computer Science, pages 147–161, 2019, Springer Verlag. |
| [808] | Solving integer quadratic programming via explicit and structural restrictions The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019 (Pascal Van Hentenryck, Zhi-Hua Zhou, eds.), pages 1477–1484, 2019. |
| [807] | The Parameterized Complexity of Cascading Portfolio Scheduling Proceedings of NeurIPS 2019, the Thirty-third Conference on Neural Information Processing Systems (Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d'Alché-Buc, Emily B. Fox, Roman Garnett, eds.), pages 7666–7676, 2019. |
| [806] | Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany (Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, eds.), pages 42:1–42:15, 2019. |
| [805] | Integer Programming and Incidence Treedepth Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings (Andrea Lodi, Viswanath Nagarajan, eds.), volume 11480 of Lecture Notes in Computer Science, pages 194–204, 2019, Springer Verlag. |
| [804] | Hardness of FO Model-Checking on Random Graphs 14th International Symposium on Parameterized and Exact Computation (IPEC 2019), volume 148 of LIPIcs, pages 11:1–11:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [803] | Motif Counting in Preferential Attachment Graphs 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), volume 150 of LIPIcs, pages 13:1–13:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| [802] | The Complexity of Packing Edge-Disjoint Paths 14th International Symposium on Parameterized and Exact Computation (IPEC 2019), volume 148 of Leibniz International Proceedings in Informatics (LIPIcs), pages 10:1–10:16, 2019, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. |
| [801] | Approximation Algorithms for BalancedCC Multiwinner Rules Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 (Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor, eds.), pages 494–502, 2019, International Foundation for Autonomous Agents and Multiagent Systems. |
| [800] | Parameterized Algorithms for Book Embedding Problems Graph Drawing and Network Visualization - 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings (Daniel Archambault, Csaba D. Tóth, eds.), volume 11904 of Lecture Notes in Computer Science, pages 365–378, 2019, Springer Verlag. |
| [799] | Patient Scheduling in Particle Therapy mar 2019, PhD thesis, Institute of Logic and Computation, TU Wien. Note: supervised by G. R. Raidl |
| [798] | Algorithmic Approaches for Optimization Problems in Bike Sharing and Security Control mar 2019, PhD thesis, Institute of Logic and Computation, TU Wien. Note: supervised by Günther R. Raidl |
| [797] | A Variable Neighborhood Search for the Job Sequencing with One Common and Multiple Secondary Resources Problem dec 2019, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl and M. Horn |
| [796] | Perfect Pseudo Matchings on Snarks may 2019, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl |
| [795] | Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging apr 2019, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl |
| [794] | A Heuristic Approach to Aircraft Trajectory Optimization with Constraints mar 2019, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl |
| [793] | Automated Calculation of Optimal Adjustment Parameters for Myoelectric Hand Prostheses mar 2019, Master's thesis, TU Wien, Institute of Logic and Computation. Note: supervised by G. Raidl |
| 2018 | |
| [792] | Exact approaches for the directed network design problem with relays Omega, 2018. |
| [791] | Solving a Selective Dial-a-Ride Problem with Logic-based Benders Decomposition Computers & Operations Research, volume 96, pages 30–54, 2018. |
| [790] | Drawing Large Graphs by Multilevel Maxent-Stress Optimization IEEE Trans. Visualization and Computer Graphics, volume 24, number 5, pages 1814–1827, 2018. |
| [789] | Particle Therapy Patient Scheduling with Limited Starting Time Variations of Daily Treatments International Transactions in Operational Research, 2018. |
| [788] | Scalable Set Visualizations (Dagstuhl Seminar 17332) Dagstuhl Reports, volume 7, number 8, pages 1–22, 2018. |
| [787] | Planar and poly-arc Lombardi drawings J. Computational Geometry, volume 9, number 1, pages 328–355, 2018. |
| [786] | A Genetic Algorithm in Combination with a Solution Archive for Solving the Generalized Vehicle Routing Problem with Stochastic Demands Transportation Science, volume 52, number 3, pages 673–690, 2018. Note: previous technical report available at https://www.ac.tuwien.ac.at/files/tr/ac-tr-16-001.pdf |
| [785] | The complexity landscape of decompositional parameters for ILP Artificial Intelligence, volume 257, pages 61–71, 2018. |
| [784] | Meta-kernelization using well-structured modulators Discr. Appl. Math., volume 248, pages 153–167, 2018. |