Publications

Here is a list of recent publications of former and current members of the Algorithms and Complexity group. A list including older publications can be found here. Technical reports can  be found here.

 

2017 and to appear

45 results

2017
[45]	Partitioning Graph Drawings and Triangulated Simple Polygons into Greedily Routable Regions Martin Nöllenburg, Roman Prutkin, Ignaz Rutter International Journal of Computational Geometry and Applications, 2017. Note: To appear. [bibtex]
[44]	Euclidean Greedy Drawings of Trees Martin Nöllenburg, Roman Prutkin Discrete and Computational Geometry, 2017. Note: To appear. [bibtex]
[43]	Drawing Large Graphs by Multilevel Maxent-Stress Optimization Henning Meyerhenke, Martin Nöllenburg, Christian Schulz IEEE Trans. Visualization and Computer Graphics, 2017. Note: To appear. [bibtex] [doi]
[42]	Full-load route planning for balancing bike sharing systems by logic-based benders decomposition Christian Kloimüllner, Günther R. Raidl Networks, volume 69, number 3, pages 270–289, 2017. Note: previous technical report available at https://www.ac.tuwien.ac.at/files/pub/kloimuellner-17.pdf [bibtex] [pdf] [doi]
[41]	The Treewidth of Proofs Moritz Müller, Stefan Szeider Information and Computation, volume 255, pages 147–164, 2017. [bibtex] [pdf] [doi]
[40]	Parameterized Complexity of Directed Steiner Tree on Sparse Graphs Mark Jones, Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Ondrej Suchý SIAM J. Discrete Math., volume 31, number 2, pages 1294–1327, 2017. [bibtex] [pdf] [doi]
[39]	Hitting (Selected) Odd Cycles Daniel Lokshtanov, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh SIAM J. Discrete Math., volume 31, number 3, pages 1581–1615, 2017. [bibtex] [pdf]
[38]	Backdoors into heterogeneous classes of SAT and CSP Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny Journal of Computer and System Sciences, volume 85, pages 38–56, 2017. [bibtex] [pdf] [doi]
[37]	Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting Robert Ganian, M. S. Ramanujan, Stefan Szeider ACM Transactions on Algorithms, volume 13, number 2, pages 29:1–29:32, 2017. [bibtex] [pdf] [doi]
[36]	Kernelization using structural parameters on sparse graph classes Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar Journal of Computer and System Sciences, volume 84, pages 219–242, 2017. [bibtex]
[35]	Parameterized Complexity Classes Beyond Para-NP Ronald de Haan, Stefan Szeider Journal of Computer and System Sciences, volume 87, pages 16–57, 2017. [bibtex] [doi]
[34]	Faster exact algorithms for some terminal set problems Rajesh Chitnis, Fedor V. Fomin, Daniel Lokshtanov, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh J. Comput. Syst. Sci., volume 88, pages 195–207, 2017. [bibtex] [pdf] [doi]
[33]	Metric Dimension of Bounded Tree-length Graphs Rémy Belmonte, Fedor V. Fomin, Petr A. Golovach, M. S. Ramanujan SIAM J. Discrete Math., volume 31, number 2, pages 1217–1243, 2017. [bibtex] [pdf] [doi]
[32]	Free Weak Nilpotent Minimum Algebras Stefano Aguzzoli, Simone Bova, Diego Valota Soft Computing, volume 21(1), pages 79–95, 2017. [bibtex]
[31]	Backdoor Sets for CSP Serge Gaspers, Sebastian Ordyniak, Stefan Szeider Chapter in The Constraint Satisfaction Problem: Complexity and Approximability (Andrei A. Krokhin, Stanislav Zivny, eds.), volume 7 of Dagstuhl Follow-Ups, pages 137–157, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[30]	Minimizing crossings in constrained two-sided circular graph layouts Fabian Klute, Martin Nöllenburg European Workshop on Computational Geometry (EuroCG'17), pages 265–268, April 2017. [bibtex] [pdf]
[29]	Radial Contour Labeling with Straight Leaders Benjamin Niedermann, Martin Nöllenburg, Ignaz Rutter IEEE Pacific Visualization Symposium (PacificVis'17), 2017. Note: To appear. [bibtex]
[28]	A Logic-Based Benders Decomposition Approach for the 3-Staged Strip Packing Problem Johannes Maschler, Günther R. Raidl Operations Research Proceedings 2015 — Selected Papers of the International Conference of the German, Austrian and Swiss Operations Research Societies (GOR, ÖGOR, SVOR/ASRO), University of Vienna, Austria, September 1–4, 2015 (Karl Franz Dörner, Ivana Ljubić, Georg Pflug, Gernot Tragler, eds.), pages 393–399, 2017, Springer. [bibtex] [pdf]
[27]	Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments Johannes Maschler, Martin Riedler, Günther R. Raidl Computer Aided Systems Theory – EUROCAST 2017 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), 2017, Springer International Publishing Switzerland. Note: to appear [bibtex] [pdf]
[26]	Particle Therapy Patient Scheduling: Time Estimation to Schedule Sets of Treatments Johannes Maschler, Martin Riedler, Günther R. Raidl Extended Abstracts of the Sixteenth International Conference on Computer Aided Systems Theory (EUROCAST 2017) (Alexis Quesada-Arencibia, José Carlos Rodríguez, Roberto Moreno-Díaz, eds.), pages 106–107, 2017. [bibtex] [pdf]
[25]	An Enhanced Iterated Greedy Metaheuristic for the Particle Therapy Patient Scheduling Problem Johannes Maschler, Thomas Hackl, Martin Riedler, Günther R. Raidl Proceedings of the 12th Metaheuristics International Conference, 2017. Note: to appear [bibtex] [pdf]
[24]	Finding Smooth Graphs with Small Independence Numbers Benedikt Klocker, Herbert Fleischner, Günther R Raidl The Third International Conference on Machine learning, Optimization and big Data - MOD 2017 (Giovanni Giuffrida, Giuseppe Nicosia, Panos Pardalos, Renato Umeton, eds.), 2017, Springer International Publishing. Note: to appear [bibtex] [pdf]
[23]	Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging Benedikt Klocker, Günther R Raidl Computer Aided Systems Theory – EUROCAST 2017 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), 2017, Springer International Publishing Switzerland. Note: to appear [bibtex] [pdf]
[22]	Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging Benedikt Klocker, Günther R Raidl Extended Abstracts of the Sixteenth International Conference on Computer Aided Systems Theory (EUROCAST 2017) (Alexis Quesada-Arencibia, José Carlos Rodríguez, Roberto Moreno-Díaz, eds.), pages 104–105, 2017. [bibtex] [pdf]
[21]	Efficient Consideration of Soft Time Windows in a Large Neighborhood Search for the Districting and Routing Problem for Security Control Bong-Min Kim, Christian Kloimüllner, Günther R. Raidl Evolutionary Computation in Combinatorial Optimization. EvoCOP 2017 (Bin Hu, Manuel López-Ibáñez, eds.), volume 10197 of LNCS, pages 91–107, 2017, Springer International Publishing. [bibtex] [pdf] [doi]
[20]	A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem Frederico Dusberger, Günther R. Raidl Operations Research Proceedings 2015 — Selected Papers of the International Conference of the German, Austrian and Swiss Operations Research Societies (GOR, ÖGOR, SVOR/ASRO), University of Vienna, Austria, September 1–4, 2015 (Karl Franz Dörner, Ivana Ljubić, Georg Pflug, Gernot Tragler, eds.), 2017, Springer. Note: to appear [bibtex] [pdf]
[19]	Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable M. S. Ramanujan, Stefan Szeider Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 3929–3935, 2017. [bibtex] [pdf]
[18]	Dependency learning for QBF Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer Verlag. Note: To Appear [bibtex]
[17]	Lossy kernelization Daniel Lokshtanov, Fahad Panolan, M. S. Ramanujan, Saket Saurabh Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017, pages 224–237, 2017. [bibtex] [pdf] [doi]
[16]	SAT-Encodings for Special Treewidth and Pathwidth Neha Lodha, Sebastian Ordyniak, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer Verlag. Note: To Appear [bibtex]
[15]	New Width Parameters for Model Counting Robert Ganian, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer Verlag. Note: To Appear [bibtex]
[14]	Combining Treewidth and Backdoors for CSP Robert Ganian, M. S. Ramanujan, Stefan Szeider 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) (Heribert Vollmer, Brigitte Vallée, eds.), volume 66 of Leibniz International Proceedings in Informatics (LIPIcs), pages 36:1–36:17, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[13]	Backdoor Treewidth for SAT Robert Ganian, M. S. Ramanujan, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer Verlag. Note: To Appear [bibtex]
[12]	Backdoor Trees for Answer Set Programming Johannes Klaus Fichte, Stefan Szeider Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. (Bart Bogaerts, Amelia Harrison, eds.), volume 1868 of CEUR Workshop Proceedings, 2017, CEUR-WS.org. [bibtex] [pdf]
[11]	SAT-Based Local Improvement for Finding Tree Decompositions of Small Width Johannes K. Fichte, Neha Lodha, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer Verlag. Note: To Appear [bibtex]
[10]	Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures Ronald de Haan, Marija Slavkovik Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM. [bibtex]
[9]	Complexity Results for Manipulation, Bribery and Control of the Kemeny Judgment Aggregation Procedure Ronald de Haan Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM. [bibtex]
[8]	Going Beyond Primal Treewidth for (M)ILP Robert Ganian, Sebastian Ordyniak, M. S. Ramanujan Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pages 815–821, 2017. [bibtex] [pdf]
[7]	Saving Critical Nodes with Firefighters is FPT Jayesh Choudhari, Anirban Dasgupta, Neeldhara Misra, M. S. Ramanujan 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl, eds.), volume 80 of Leibniz International Proceedings in Informatics (LIPIcs), pages 135:1–135:13, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[6]	Circuit Treewidth, Sentential Decision, and Query Compilation Simone Bova, Stefan Szeider Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 (Emanuel Sallinger, Jan Van den Bussche, Floris Geerts, eds.), pages 233–246, 2017, Assoc. Comput. Mach., New York. [bibtex] [pdf] [doi]
[5]	Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Queries Simone Bova, Fabio Mogavero Proceedings of the Thirty-Second ACM/IEEE Symposium on Logic in Computer Science (LICS) June 20-23, 2017, Reykjavik, Iceland, 2017. [bibtex]
[4]	How many variables are needed to express an existential positive query? Simone Bova, Hubie Chen Proceeding of the Twentieth International Conference on Database Theory (ICDT), March 21-24, 2017, Venice, Italy, 2017. Note: Best Paper Award [bibtex]
[3]	Pareto Optimal Allocation under Uncertain Preferences Haris Aziz, Ronald de Haan, Baharak Rastegari Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM. Note: Extended Abstract [bibtex]
[2]	Stable Matching with Uncertain Pairwise Preferences Haris Aziz, Péter Biró, Tamas Fleiner, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM. [bibtex]
[1]	Linear Representation of Transversal Matroids and Gammoids parameterized by rank Fahad Panolan, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings (Yixin Cao, Jianer Chen, eds.), pages 420–432, 2017, Springer International Publishing. [bibtex] [pdf] [doi]

2016

69 results

2016
[69]	Hybrid Metaheuristics – Powerful Tools for Optimization Christian Blum, Günther R. Raidl 2016, Springer. [bibtex] [pdf]
[68]	Proc. 24th International Symposium on Graph Drawing and Network Visualization (GD'16) (Yifan Hu, Martin Nöllenburg, eds.), volume 9801 of LNCS, 2016, Springer International Publishing. [bibtex] [doi]
[67]	A Multi-Commodity Flow Based Model for Multi Layer Hierarchical Ring Network Design Christian Schauer, Günther R. Raidl Electronic Notes in Discrete Mathematics, volume 52, pages 189–196, 2016. Note: INOC 2015 – 7th International Network Optimization Conference [bibtex] [pdf] [doi]
[66]	New Developments in Metaheuristics and their Applications – Selected Extended Contributions from the 10th Metaheuristics International Conference (MIC 2013) Hoong Chuin Lau, Günther R. Raidl, Pascal Van Hentenryck Journal of Heuristics, volume 22, number 4, pages 359–363, 2016. [bibtex] [pdf] [doi]
[65]	On Self-Approaching and Increasing-Chord Drawings of 3-Connected Planar Graphs Martin Nöllenburg, Roman Prutkin, Ignaz Rutter J. Computational Geometry, volume 7, number 1, pages 47–69, 2016. [bibtex] [pdf]
[64]	Extending Convex Partial Drawings of Graphs Tamara Mchedlidze, Martin Nöllenburg, Ignaz Rutter Algorithmica, volume 76, number 1, pages 47–67, 2016. [bibtex] [doi]
[63]	Mixed Map Labeling Maarten Löffler, Martin Nöllenburg, Frank Staals J. Spatial Information Science, volume 13, pages 3–32, 2016. [bibtex] [doi]
[62]	Large Neighborhood Search for the Most Strings with Few Bad Columns Problem Evelia Liźarraga, Maria J. Blesa, Christian Blum, Günther R. Raidl Soft Computing, 2016. Note: printed version to appear [bibtex] [pdf] [doi]
[61]	A Memetic Algorithm for the Virtual Network Mapping Problem Johannes Inführ, Günther Raidl Journal of Heuristics, volume 22, number 4, pages 475–505, 2016. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/infuehr-14.pdf [bibtex] [doi]
[60]	Evaluation of Labeling Strategies for Rotating Maps Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter ACM J. Experimental Algorithmics, volume 21, number 1, pages 1.4:1–1.4:21, 2016. [bibtex] [pdf] [doi]
[59]	Consistent Labeling of Rotating Maps Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter J. Computational Geometry, volume 7, number 1, pages 308–331, 2016. [bibtex] [pdf]
[58]	Strict Confluent Drawing David Eppstein, Danny Holten, Maarten Löffler, Martin Nöllenburg, Bettina Speckmann, Kevin Verbeek J. Computational Geometry, volume 7, number 1, pages 22–46, 2016. [bibtex] [pdf]
[57]	An Integer L-shaped Method for the Generalized Vehicle Routing Problem with Stochastic Demands Benjamin Biesinger, Bin Hu, Günther R. Raidl Electronic Notes in Discrete Mathematics, volume 52, pages 245–252, 2016. Note: INOC 2015 – 7th International Network Optimization Conference [bibtex] [pdf] [doi]
[56]	Adjacency-Preserving Spatial Treemaps Kevin Buchin, David Eppstein, Maarten Löffler, Martin Nöllenburg, Rodrigo I. Silveira J. Computational Geometry, volume 7, number 1, pages 100-122, 2016. [bibtex] [pdf]
[55]	Quantifier reordering for QBF Friedrich Slivovsky, Stefan Szeider Journal of Automated Reasoning, volume 56, number 4, pages 459–477, 2016. [bibtex] [pdf] [doi]
[54]	Soundness of Q-resolution with dependency schemes Friedrich Slivovsky, Stefan Szeider Theoretical Computer Science, volume 612, pages 83–101, 2016. [bibtex] [pdf] [doi]
[53]	Model Counting for CNF Formulas of Bounded Modular Treewidth Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider Algorithmica, volume 76, number 1, pages 168–194, 2016. [bibtex] [pdf] [doi]
[52]	A Parameterized Study of Maximum Generalized Pattern Matching Problems Sebastian Ordyniak, Alexandru Popa Algorithmica, volume 75, number 1, pages 1–26, 2016. [bibtex]
[51]	Complexity and monotonicity results for domination games Stephan Kreutzer, Sebastian Ordyniak Theor. Comput. Sci., volume 628, pages 1–29, 2016. [bibtex]
[50]	Tree-depth and vertex-minors Petr Hlinený, O-joung Kwon, Jan Obdrzálek, Sebastian Ordyniak Eur. J. Comb., volume 56, pages 46–56, 2016. [bibtex]
[49]	Backdoors to q-Horn Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider Algorithmica, volume 74, number 1, pages 540–557, 2016. [bibtex] [pdf] [doi]
[48]	Meta-Kernelization with Structural Parameters Robert Ganian, Friedrich Slivovsky, Stefan Szeider Journal of Computer and System Sciences, volume 82, number 2, pages 333–346, 2016. [bibtex] [pdf] [doi]
[47]	FO Model Checking of Interval Graphs Robert Ganian, Petr Hlinený, Daniel Král, Jan Obdrzálek, Jarett Schwartz, Jakub Teska Logical Methods in Computer Science, volume 11, number 4, 2016. [bibtex] [pdf]
[46]	Are There Any Good Digraph Measures? Robert Ganian, Petr Hlinený, Joachim Kneis, Daniel Meister, Jan Obdrzálek, Peter Rossmanith, Somnath Sikdar Journal of Combinatorial Theory, Series B, volume 116, pages 250–286, 2016. [bibtex]
[45]	Directed elimination games Viktor Engelmann, Sebastian Ordyniak, Stephan Kreutzer Discrete Applied Mathematics, volume 199, pages 187–198, 2016. [bibtex]
[44]	Quantified Conjunctive Queries on Partially Ordered Sets Simone Bova, Robert Ganian, Stefan Szeider Theoretical Computer Science, volume 618, pages 72–84, 2016. [bibtex] [pdf] [doi]
[43]	Model Checking Existential Logic on Partially Ordered Sets Simone Bova, Robert Ganian, Stefan Szeider ACM Transactions on Computational Logic, volume 17, number 2, 2016. [bibtex] [doi]
[42]	Partially Polynomial Kernels for Set Cover and Test Cover Manu Basavaraju, Mathew C. Francis, M. S. Ramanujan, Saket Saurabh SIAM J. Discrete Math., volume 30, number 3, pages 1401–1423, 2016. [bibtex]
[41]	Time-Bucket Relaxation Based Mixed Integer Programming Models for Scheduling Problems: A Promising Starting Point for Matheuristics Günther R. Raidl, Thomas Jatschka, Martin Riedler, Johannes Maschler Proceedings of Matheuristics 2016: 6th International Workshop on Model-Based Metaheuristics (T. Stützle, V. Maniezzo, eds.), pages 104–107, 2016. [bibtex] [pdf]
[40]	Districting and Routing for Security Control Michael Prischink, Christian Kloimüllner, Benjamin Biesinger, Günther R. Raidl Hybrid Metaheuristics: 10th International Workshop, HM 2016 (Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vicenzo Cutello, Alessandro Di Nuovo, Mario Pavone, El-Ghazali Talbi, eds.), volume 9668 of LNCS, pages 87–103, 2016, Springer. [bibtex] [pdf]
[39]	Software Visualization via Hierarchic Micro/Macro Layouts Martin Nöllenburg, Ignaz Rutter, Alfred Schuhmacher Information Visualization Theory and Applications (IVAPP'16) (Lars Linsen, Alexandru C. Telea, eds.), pages 153–160, 2016, SciTePress. [bibtex] [doi]
[38]	An Algorithmic Framework for Labeling Road Maps Benjamin Niedermann, Martin Nöllenburg Geographic Information Science (GIScience '16) (Jennifer A. Miller, David O'Sullivan, Nancy Wiegand, eds.), volume 9927 of LNCS, pages 308–322, 2016, Springer International Publishing. [bibtex] [pdf] [doi]
[37]	Particle Therapy Patient Scheduling: First Heuristic Approaches Johannes Maschler, Martin Riedler, Markus Stock, Günther R. Raidl PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling, pages 223–244, 2016. [bibtex] [pdf]
[36]	Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers Benedikt Klocker, Herbert Fleischner, Günther R. Raidl Hybrid Metaheuristics: 10th International Workshop, HM 2016 (Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vicenzo Cutello, Alessandro Di Nuovo, Mario Pavone, El-Ghazali Talbi, eds.), volume 9668 of LNCS, pages 1–16, 2016, Springer. [bibtex] [pdf]
[35]	Temporal Map Labeling: A New Unified Framework with Experiments Lukas Barth, Benjamin Niedermann, Martin Nöllenburg, Darren Strash Advances in Geographic Information Systems (SIGSPATIAL'16), pages 23:1–23:10, 2016. [bibtex] [pdf] [doi]
[34]	A Faster Parameterized Algorithm for Group Feedback Edge Set M. S. Ramanujan Graph-Theoretic Concepts in Computer Science - 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers, pages 269–281, 2016. [bibtex] [pdf]
[33]	A Parameterized Algorithm for Mixed-Cut Ashutosh Rai, M. S. Ramanujan, Saket Saurabh LATIN 2016: Theoretical Informatics - 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings, pages 672–685, 2016. [bibtex] [pdf]
[32]	Strong Parameterized Deletion: Bipartite Graphs Ashutosh Rai, M. S. Ramanujan 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pages 21:1–21:14, 2016. [bibtex] [pdf] [doi]
[31]	Long Distance Q-Resolution with Dependency Schemes Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 500–518, 2016, Springer Verlag. [bibtex] [pdf] [doi]
[30]	Backdoors for Linear Temporal Logic Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler 11th International Symposium on Parameterized and Exact Computation (IPEC 2016) (Jiong Guo, Danny Hermelin, eds.), volume 63 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1–23:17, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[29]	A SAT Approach to Branchwidth Neha Lodha, Sebastian Ordyniak, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 179–195, 2016, Springer Verlag. [bibtex] [doi]
[28]	Edge-Editing to a Dense and a Sparse Graph Class Michal Kotrbcík, Rastislav Královic, Sebastian Ordyniak LATIN 2016: Theoretical Informatics - 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings (Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez, eds.), volume 9644 of Lecture Notes in Computer Science, pages 562–575, 2016, Springer Verlag. [bibtex]
[27]	Backdoors to Tractable Valued CSP Robert Ganian, Ramanujan M.S., Stefan Szeider Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings (Michel Rueher, ed.), volume 9892 of Lecture Notes in Computer Science, pages 233–250, 2016, Springer Verlag. [bibtex] [pdf] [doi]
[26]	Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting Robert Ganian, M. S. Ramanujan, Stefan Szeider Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pages 1670–1681, 2016. [bibtex] [pdf] [doi]
[25]	The Complexity Landscape of Decompositional Parameters for ILP Robert Ganian, Sebastian Ordyniak Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Dale Schuurmans, Michael P. Wellman, eds.), pages 710–716, 2016, AAAI Press. [bibtex] [pdf]
[24]	Polynomial-Time Construction of Optimal MPI Derived Datatype Trees Robert Ganian, Martin Kalany, Stefan Szeider, Jesper Larsson Träff 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016, pages 638–647, 2016, IEEE Computer Society. [bibtex] [pdf] [doi]
[23]	On Existential MSO and its Relation to ETH Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), volume 58 of Leibniz International Proceedings in Informatics (LIPIcs), pages 42:1–42:14, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[22]	A New Perspective on FO Model Checking of Dense Graph Classes Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. Ramanujan Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pages 176–184, 2016. [bibtex] [pdf]
[21]	On the Complexity Landscape of Connected f-factor Problems Robert Ganian, N.S. Narayanaswamy, Sebastian Ordyniak, C.S. Rahul, Ramanujan M. S. Mathematical Foundations of Computer Science 2016 - 41st International Symposium, MFCS 2016 (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), pages 41:1–41:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bibtex] [pdf]
[20]	Succinctness of Languages for Judgment Aggregation Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang Proceedings of KR 2016, the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, April 25-29, 2016 (Chitta Baral, James P. Delgrande, Frank Wolter, eds.), pages 176–186, 2016, AAAI Press. [bibtex] [pdf]
[19]	Counting Linear Extensions: Parameterizations by Treewidth Eduard Eiben, Robert Ganian, Sebastian Ordyniak 24th European Symposium of Algorithms, ESA 2016, volume 57 of LIPIcs, pages 39:1–39:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bibtex] [pdf]
[18]	Using Decomposition-Parameters for QBF: Mind the Prefix! Eduard Eiben, Robert Ganian, Sebastian Ordyniak Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Dale Schuurmans, Michael P. Wellman, eds.), pages 964–970, 2016, AAAI Press. [bibtex] [pdf]
[17]	A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion Eduard Eiben, Robert Ganian, O-joung Kwon Mathematical Foundations of Computer Science 2016 - 41st International Symposium, MFCS 2016 (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), volume 58 of LIPIcs, pages 34:1–34:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bibtex] [pdf]
[16]	Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics Ronald de Haan, Stefan Szeider Proceedings of KR 2016, the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, April 25-29, 2016 (Chitta Baral, James P. Delgrande, Frank Wolter, eds.), pages 453–462, 2016, AAAI Press. [bibtex] [pdf]
[15]	Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation Ronald de Haan Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) (Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds.), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1502–1510, 2016. [bibtex] [pdf]
[14]	Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation Ronald de Haan Proceedings of ComSoc 2016, the Sixth International Workshop on Computational Social Choice, 2016. [bibtex] [pdf]
[13]	Knowledge Compilation Meets Communication Complexity Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), 9-15 July, 2016, New York, NY, USA, pages 1008–1014, 2016. [bibtex]
[12]	SDDs Are Exponentially More Succinct than OBDDs Simone Bova Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, pages 929–935, 2016. [bibtex]
[11]	SOBRA - Shielding Optimization for BRAchytherapy Guillaume Blin, Marie Gasparoux, Sebastian Ordyniak, Alexandru Popa Combinatorial Algorithms - 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings (Veli Mäkinen, Simon J. Puglisi, Leena Salmela, eds.), volume 9843 of Lecture Notes in Computer Science, pages 309–320, 2016, Springer Verlag. [bibtex]
[10]	Clique-Width and Directed Width Measures for Answer-Set Programming Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds.), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1105–1113, 2016, IOS Press. [bibtex]
[9]	Stable Matching with Uncertain Linear Preferences Haris Aziz, Peter Biro, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari Proceedings of SAGT 2016, the 9th International Symposium on Algorithmic Game Theory (Martin Gairing, Rahul Savani, eds.), volume 9928 of Lecture Notes in Computer Science, pages 195–206, 2016, Springer Verlag. [bibtex] [pdf]
[8]	Complete Solution Archives for Evolutionary Combinatorial Optimization: Application to a Competitive Facility Location and Stochastic Vehicle Routing Problem Benjamin Biesinger Apr 2016, PhD thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. R. Raidl and B. Hu [bibtex] [pdf]
[7]	Parameterized Complexity in the Polynomial Hierarchy Ronald de Haan 2016, PhD thesis, Technische Universität Wien. [bibtex] [pdf]
[6]	Metaheuristics for the Districting and Routing Problem for Security Control Michael Prischink May 2016, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl, B. Biesinger, and C. Kloimüllner [bibtex] [pdf]
[5]	Column Generation at Strip Level for the k-Staged Two-Dimensional Cutting Stock Problem Franz Leberl Mar 2016, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and F. Dusberger [bibtex] [pdf]
[4]	Visibility Based Obstacle Placing – Automated Obstacle Placing Based on Circularity Carina Schwab Jan 2016, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and R. Schaffranek [bibtex] [pdf]
[3]	A Branch-and-Bound Approach for the Constrained k-Staged 2-Dimensional Cutting Stock Problem Bernhard Bonigl Jan 2016, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and F. Dusberger [bibtex] [pdf]
[2]	Positive and Negative Results for Parameterized Compilability Simone Bova, Ronald de Haan, Neha Lodha, Stefan Szeider 2016, Technical report AC-TR-16-003, Algorithms and Complexity Group, TU Wien. [bibtex] [pdf]
[1]	Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation Ronald de Haan August 2016, Technical report 1608.02406, arXiv.org. [bibtex] [pdf]

2015

73 results

2015
[73]	Backdoors to Tractable Answer Set Programming Johannes Klaus Fichte, Stefan Szeider Artificial Intelligence, volume 220, pages 64–103, March 2015. [bibtex] [doi]
[72]	Numerical Optimisation of Electro-Hybrid Powertrains Thorsten Krenek, Christopher Bacher, Thomas Lauer, Günther R. Raidl MTZ Worldwide, volume 03, pages 46–52, Mar 2015, Springer. [bibtex]
[71]	Numerische Optimierung elektrifizierter Antriebsstränge Thorsten Krenek, Christopher Bacher, Thomas Lauer, Günther R. Raidl Motortechnische Zeitschrift (MTZ), volume 03, pages 66–74, Mar 2015, Springer. [bibtex]
[70]	PILOT, GRASP, and VNS Approaches for the Static Balancing of Bicycle Sharing Systems Marian Rainer-Harbach, Petrina Papazek, Günther R. Raidl, Bin Hu, Christian Kloimüllner Journal of Global Optimization, volume 63, number 3, pages 597-629, 2015, Springer. [bibtex] [pdf] [doi]
[69]	Decomposition Based Hybrid Metaheuristics Günther R. Raidl European Journal of Operational Research, volume 244, pages 66-76, 2015. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/raidl-15.pdf [bibtex]
[68]	Metaheuristics for Solving a Multimodal Home-Healthcare Scheduling Problem Gerhard Hiermann, Matthias Prandtstetter, Andrea Rendl, Jakob Puchinger, Günther R. Raidl Central European Journal of Operations Research, volume 23, number 1, pages 89-113, 2015. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/hiermann-13.pdf [bibtex]
[67]	Multi-Row Boundary-Labeling Algorithms for Panorama Images Andreas Gemsa, Jan-Henrik Haunert, Martin Nöllenburg ACM Trans. Spatial Algorithms and Systems, volume 1, number 1, pages 1:1–1:30, 2015. [bibtex] [pdf] [doi]
[66]	Models and Algorithms for Competitive Facility Location Problems with Different Customer Behavior Benjamin Biesinger, Bin Hu, Günther Raidl Annals of Mathematics and Artificial Intelligence, volume 76, number 1, pages 93–119, 2015, Springer International Publishing. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/biesinger-14b.pdf [bibtex] [doi]
[65]	A Hybrid Genetic Algorithm with Solution Archive for the Discrete (r|p)-Centroid Problem Benjamin Biesinger, Bin Hu, Günther Raidl Journal of Heuristics, volume 21, number 3, pages 391-431, 2015, Springer US. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/biesinger-14.pdf [bibtex] [doi]
[64]	Empirical Evaluation for Graph Drawing (Dagstuhl Seminar 15052) Ulrik Brandes, Irene Finocchi, Martin Nöllenburg, Aaron Quigley Dagstuhl Reports, volume 5, number 1, pages 243–258, 2015. [bibtex] [pdf] [doi]
[63]	Many-to-One Boundary Labeling with Backbones Michael Bekos, Sabine Cornelsen, Martin Fink, Seok-Hee Hong, Michael Kaufmann, Martin Nöllenburg, Ignaz Rutter, Antonios Symvonis J. Graph Algorithms Appl., volume 19, number 3, pages 779–816, 2015. [bibtex] [pdf] [doi]
[62]	Computing secure sets in graphs using answer set programming Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran Journal of Logic and Computation, 2015. [bibtex] [pdf] [doi]
[61]	Parameterized and subexponential-time complexity of satisfiability problems and applications Iyad A. Kanj, Stefan Szeider Theoretical Computer Science, volume 607, pages 282–295, 2015. [bibtex] [pdf] [doi]
[60]	A SAT Approach to Clique-Width Marijn Heule, Stefan Szeider ACM Transactions on Computational Logic, volume 16, number 3, pages 24, 2015. [bibtex] [pdf] [doi]
[59]	Faster Parameterized Algorithms for Deletion to Split Graphs Esha Ghosh, Sudeshna Kolay, Mrinal Kumar, Pranabendu Misra, Fahad Panolan, Ashutosh Rai, M. S. Ramanujan Algorithmica, volume 71, number 4, pages 989–1006, 2015. [bibtex] [pdf] [doi]
[58]	On finding optimal polytrees Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider Theoretical Computer Science, volume 592, pages 49–58, 2015. [bibtex] [pdf] [doi]
[57]	Improving Vertex Cover as a Graph Parameter Robert Ganian Discrete Mathematics & Theoretical Computer Science, volume 17, number 2, pages 77–100, 2015. [bibtex]
[56]	Backdoors to Normality for Disjunctive Logic Programs Johannes Klaus Fichte, Stefan Szeider ACM Transactions on Computational Logic, volume 17, number 1, 2015. [bibtex] [doi]
[55]	On the Subexponential-Time Complexity of CSP Ronald de Haan, Iyad A. Kanj, Stefan Szeider Journal Artificial Intelligence Research, volume 52, pages 203–234, 2015. [bibtex] [pdf] [doi]
[54]	The complexity of equivalence, entailment, and minimization in existential positive logic Simone Bova, Hubie Chen Journal of Computer and System Sciences, volume 81, number 2, pages 443–457, 2015. [bibtex]
[53]	A complete parameterized complexity analysis of bounded planning Christer Bäckström, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider Journal of Computer and System Sciences, volume 81, number 7, pages 1311–1332, 2015. [bibtex] [pdf] [doi]
[52]	Heuristic Approaches for the Probabilistic Traveling Salesman Problem Christoph Weiler, Benjamin Biesinger, Bin Hu, Günther R. Raidl Chapter in Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015) (A. Quesada-Arencibia, others, eds.), pages 99 – 100, 2015. [bibtex] [pdf]
[51]	A New Type of Metamodel for Longitudinal Dynamics Optimization of Hybrid Electric Vehicles Christopher Bacher, Günther R. Raidl Chapter in Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015) (A. Quesada-Arencibia, others, eds.), pages 119–120, 2015. [bibtex] [pdf]
[50]	Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP Ronald de Haan, Stefan Szeider SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn\ve\vzkou, Czech Republic, January 24-29, 2015. Proceedings, volume 8939 of Lecture Notes in Computer Science, pages 217–229, January 2015, Springer Verlag. [bibtex] [pdf] [doi]
[49]	Metaheuristics for the Two-Dimensional Container Pre-Marshalling Problem Alan Tus, Andrea Rendl, Günther R. Raidl Conference Proceedings of Learning and Intelligent Optimization Conference (LION 9), volume 8994 of LNCS, pages 186-201, 2015, Springer. [bibtex]
[48]	Partitioning Graph Drawings and Triangulated Simple Polygons into Greedily Routable Regions Martin Nöllenburg, Roman Prutkin, Ignaz Rutter Algorithms and Computation (ISAAC'15) (Khaled Elbassioni, Kazuhisa Makino, eds.), volume 9472 of LNCS, pages 637–649, 2015, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[47]	Drawing Large Graphs by Multilevel Maxent-Stress Optimization Henning Meyerhenke, Martin Nöllenburg, Christian Schulz Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 30–43, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[46]	Towards Realistic Flow Control in Power Grid Operation Tamara Mchedlidze, Martin Nöllenburg, Ignaz Rutter, Dorothea Wagner, Franziska Wegner Energy Informatics (EI'15) (Sebastian Gottwalt, Lukas König, Hartmut Schmeck, eds.), volume 9424 of LNCS, pages 192–199, 2015, Springer International Publishing. [bibtex] [doi]
[45]	Mixed Map Labeling Maarten Löffler, Martin Nöllenburg, Frank Staals Algorithms and Complexity (CIAC'15) (V. Th. Paschos, Peter Widmayer, eds.), volume 9079 of LNCS, pages 339–351, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[44]	Operating Power Grids with Few Flow Control Buses Thomas Leibfried, Tamara Mchedlidze, Nico Meyer-Hübner, Martin Nöllenburg, Ignaz Rutter, Peter Sanders, Dorothea Wagner, Franziska Wegner Future Energy Systems (e-Energy'15), pages 289–294, 2015, ACM. [bibtex] [pdf] [doi]
[43]	On Solving the Most Strings With Few Bad Columns Problem: An ILP Model and Heuristics Evelia Liz'arraga, Maria J. Blesa, Christian Blum, Günther R. Raidl Proceedings of the 2015 International Symposium on Innovations in Intelligent Systems and Applications (INISTA) (David Camacho, others, eds.), pages 1-8, 2015, IEEE Xplore. [bibtex] [pdf]
[42]	Combinatorial Properties of Triangle-Free Rectangle Arrangements and the Squarability Problem Jonathan Klawitter, Martin Nöllenburg, Torsten Ueckerdt Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 231–244, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[41]	On Minimizing Crossings in Storyline Visualizations Irina Kostitsyna, Martin Nöllenburg, Valentin Polishchuk, André Schulz, Darren Strash Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 192–198, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[40]	Recognizing Weighted Disk Contact Graphs Boris Klemz, Martin Nöllenburg, Roman Prutkin Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 433–446, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[39]	A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems Christian Kloimüllner, Petrina Papazek, Günther R. Raidl Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015) (Alexis Quesada-Arencibia, José Carlos Rodriguez, Roberto Moreno-Díaz jr., Roberto Moreno-Díaz, eds.), pages 125–126, 2015. [bibtex] [pdf]
[38]	A New Solution Representation for the Firefighter Problem Bin Hu, Andreas Windbichler, Günther R. Raidl Evolutionary Computation in Combinatorial Optimization – EvoCOP 2015 (Gabriela Ochoa, Francisco Chicano, eds.), volume 9026 of LNCS, pages 25–35, 2015, Springer. [bibtex] [pdf]
[37]	Label Placement in Road Maps Andreas Gemsa, Benjamin Niedermann, Martin Nöllenburg Algorithms and Complexity (CIAC'15) (V. Th. Paschos, Peter Widmayer, eds.), volume 9079 of LNCS, pages 221–234, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[36]	A Value-Correction Construction Heuristic for the Two-Dimensional Cutting Stock Problem with Variable Sheet Size Frederico Dusberger, Günther R. Raidl Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015) (Alexis Quesada-Arencibia, José Carlos Rodriguez, Roberto Moreno-Díaz jr., Roberto Moreno-Díaz, eds.), pages 109–110, 2015. [bibtex] [pdf]
[35]	A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem with Variable Sheet Size Frederico Dusberger, Günther R. Raidl Computer Aided Systems Theory – EUROCAST 2015, volume 9520 of LNCS, pages 384–392, 2015, Springer. [bibtex] [pdf]
[34]	Solving the 3-Staged 2-Dimensional Cutting Stock Problem by Dynamic Programming and Variable Neighborhood Search Frederico Dusberger, Günther R. Raidl The 3rd International Conference on Variable Neighborhood Search (VNS'14), volume 47 of Electronic Notes in Discrete Mathematics, pages 133–140, 2015, Elsevier. [bibtex] [pdf]
[33]	Heuristic Approaches for the Probabilistic Traveling Salesman Problem Christoph Weiler, Benjamin Biesinger, Bin Hu, Günther R. Raidl Computer Aided Systems Theory – EUROCAST 2015 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 9520 of LNCS, pages 342–349, 2015, Springer International Publishing Switzerland. [bibtex] [pdf] [doi]
[32]	A Genetic Algorithm for the Capacity and Distance Constrained Plant Location Problem Matthias Lanzinger, Benjamin Biesinger, Bin Hu, Günther R. Raidl Proceedings of the 11th Metaheuristics International Conference, pages 89/1–89/9, 2015. [bibtex] [pdf]
[31]	A Variable Neighborhood Search for the Generalized Vehicle Routing Problem with Stochastic Demands Benjamin Biesinger, Bin Hu, Günther R. Raidl Evolutionary Computation in Combinatorial Optimization – EvoCOP 2015 (Gabriela Ochoa, Francisco Chicano, eds.), volume 9026 of LNCS, pages 48–60, 2015, Springer. [bibtex] [pdf]
[30]	On the Readability of Boundary Labeling Lukas Barth, Andreas Gemsa, Benjamin Niedermann, Martin Nöllenburg Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 515–527, 2015, Springer International Publishing. [bibtex] [pdf] [doi]
[29]	A New Type of Metamodel for Longitudinal Dynamics Optimization of Hybrid Electric Vehicles Christopher Bacher, Günther R. Raidl, Thorsten Krenek Computer Aided Systems Theory – EUROCAST 2015 (Roberto Moreno-Díaz, others, eds.), volume 9520 of LNCS, 2015, Springer International Publishing Switzerland. [bibtex] [pdf]
[28]	Towards Realistic Pedestrian Route Planning Simeon Andreev, Julian Dibbelt, Martin Nöllenburg, Thomas Pajor, Dorothea Wagner Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS'15) (Giuseppe F. Italiano, Marie Schmidt, eds.), volume 48 of OpenAccess Series in Informatics (OASIcs), pages 1–15, 2015, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex] [pdf] [doi]
[27]	Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina (Qiang Yang, Michael Wooldridge, eds.), pages 275–282, 2015. [bibtex] [pdf]
[26]	On the Parameterized Complexity of Girth and Connectivity Problems on Linear Matroids Fahad Panolan, M. S. Ramanujan, Saket Saurabh Algorithms and Data Structures - 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, pages 566–577, 2015. [bibtex] [pdf] [doi]
[25]	Linear Time Parameterized Algorithms for Subset Feedback Vertex Set Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I, pages 935–946, 2015. [bibtex] [pdf] [doi]
[24]	Reconfiguration on Sparse Graphs Daniel Lokshtanov, Amer E. Mouawad, Fahad Panolan, M. S. Ramanujan, Saket Saurabh Algorithms and Data Structures - 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, pages 506–517, 2015. [bibtex] [pdf] [doi]
[23]	Variable-Deletion Backdoors to Planning Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. (Blai Bonet, Sven Koenig, eds.), pages 3305–3312, 2015, AAAI Press. [bibtex]
[22]	Community Structure Inspired Algorithms for SAT and #SAT Robert Ganian, Stefan Szeider 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas (Marijn Heule, Sean Weaver, eds.), pages 223-237, 2015, Springer Verlag. [bibtex] [pdf] [doi]
[21]	Parameterized Complexity of Asynchronous Border Minimization Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (Rahul Jain, Sanjay Jain, Frank Stephan, eds.), volume 9076 of Lecture Notes in Computer Science, pages 428–440, 2015, Springer Verlag. [bibtex] [pdf] [doi]
[20]	Algorithmic Applications of Tree-Cut Width Robert Ganian, Eun Jung Kim, Stefan Szeider Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, volume 9235 of Lecture Notes in Computer Science, pages 348–360, 2015, Springer Verlag. [bibtex] [pdf] [doi]
[19]	Parameterized Algorithms for Parity Games Jakub Gajarský, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, eds.), volume 9235 of Lecture Notes in Computer Science, pages 336–347, 2015, Springer Verlag. [bibtex]
[18]	FO Model Checking on Posets of Bounded Width Jakub Gajarský, Petr Hlinený, Daniel Lokshtanov, Jan Obdrzálek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 963–974, 2015. [bibtex] [pdf] [doi]
[17]	Solving d-SAT via Backdoors to Small Treewidth Fedor V. Fomin, Daniel Lokshtanov, Neeldhara Misra, M. S. Ramanujan, Saket Saurabh Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015, pages 630–641, 2015. [bibtex] [pdf] [doi]
[16]	Parameterized Complexity Results for Agenda Safety in Judgment Aggregation Ulle Endriss, Ronald de Haan, Stefan Szeider Proceedings of AAMAS 2015, the 14th International Conference on Autonomous Agents and Multiagent Systems (Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, eds.), pages 127–136, 2015, IFAAMAS/ACM. [bibtex] [pdf]
[15]	Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young Ulle Endriss, Ronald de Haan Proceedings of AAMAS 2015, the 14th International Conference on Autonomous Agents and Multiagent Systems, 2015, IFAAMAS/ACM. [bibtex] [pdf]
[14]	Meta-Kernelization using Well-Structured Modulators Eduard Eiben, Robert Ganian, Stefan Szeider Parameterized and Exact Computation - 10th International Symposium, IPEC 2014, Patras, Greece, September 16-18, 2015. Revised Selected Papers (Thore Husfeldt, Iyad A. Kanj, eds.), volume 43 of LIPIcs, pages 114–126, 2015. [bibtex] [pdf] [doi]
[13]	Solving Problems on Graphs of High Rank-Width Eduard Eiben, Robert Ganian, Stefan Szeider Algorithms and Data Structures Symposium (WADS 2015), August 5-7, 2015, University of Victoria, BC, Canada, pages 314–326, 2015, Springer Verlag. [bibtex] [pdf] [doi]
[12]	On the Complexity of Rainbow Coloring Problems Eduard Eiben, Robert Ganian, Juho Lauri Combinatorial Algorithms - 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers (Zsuzsanna Lipták, William F. Smyth, eds.), pages 209–220, 2015. [bibtex] [pdf] [doi]
[11]	A Dichotomy Result for Ramsey Quantifiers Ronald de Haan, Jakub Szymanik Proceedings of WoLLIC 2015, the 22nd International Workshop on Logic, Language, Information, and Computation, 2015, Springer Verlag. [bibtex] [pdf]
[10]	Fixed-parameter Tractable Reductions to SAT for Planning Ronald de Haan, Martin Kronegger, Andreas Pfandler Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina, 2015. [bibtex] [pdf]
[9]	On Compiling Structured CNFs to OBDDs Simone Bova, Friedrich Slivovsky Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings, pages 80–93, 2015. [bibtex]
[8]	First-Order Queries on Finite Abelian Groups Simone Bova, Barnaby Martin 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pages 41–59, 2015. [bibtex]
[7]	On Compiling CNFs into Structured Deterministic DNNFs Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, pages 199–214, 2015. [bibtex]
[6]	Metric Dimension of Bounded Width Graphs Rémy Belmonte, Fedor V. Fomin, Petr A. Golovach, M. S. Ramanujan Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, pages 115–126, 2015. [bibtex] [pdf] [doi]
[5]	Solving the Travelling Thief Problem with an Evolutionary Algorithm Christoph Wachter Sep 2015, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and B. Hu [bibtex] [pdf]
[4]	Electric Vehicles Recharge Scheduling with Logic-Based Benders Decomposition Katharina Ölsböck Jul 2015, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Riedler [bibtex] [pdf]
[3]	Optimization Approaches for Recreational Bicycle Tour Planning Benedikt Klocker Apr 2015, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by M. Prandtstetter and G. Raidl [bibtex] [pdf]
[2]	Solving the Multi-Objective Steiner Tree Problem with Resources Georg Brandstätter Jan 2015, Master's thesis, TU Wien, Institute of Computer Graphics and Algorithms. Note: supervised by M. Leitner, M. Ruthmair, and G. Raidl [bibtex] [pdf]
[1]	An Overview of Non-Uniform Parameterized Complexity Ronald de Haan 2015, Technical report TR15-130, Electronic Colloquium on Computational Complexity (ECCC). [bibtex] [pdf]

2014

52 results

2014
[52]	On d-regular schematization of embedded paths Daniel Delling, Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter Comput. Geom. Theory Appl., volume 47, number 3A, pages 381–406, 2014. [bibtex] [doi]
[51]	Computational Performance Evaluation of Two Integer Linear Programming Models for the Minimum Common String Partition Problem Christian Blum, Günther R. Raidl Optimization Letters, pages 1-17, 2014. Note: accepted, previous technical report version at https://www.ac.tuwien.ac.at/files/pub/blum-15.pdf [bibtex] [doi]
[50]	Tractable answer-set programming with weight constraints: bounded treewidth is not enough Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran Theory Pract. Log. Program., volume 14, number 2, pages 141-164, 2014. [bibtex] [doi]
[49]	Faster Parameterized Algorithms Using Linear Programming Daniel Lokshtanov, N. S. Narayanaswamy, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh ACM Transactions on Algorithms, volume 11, number 2, pages 15:1–15:31, 2014. [bibtex] [pdf] [doi]
[48]	Guarantees and limits of preprocessing in constraint satisfaction and reasoning Serge Gaspers, Stefan Szeider Artificial Intelligence, volume 216, pages 1-19, 2014. [bibtex] [doi]
[47]	Lower bounds on the complexity of MSO1 model-checking Robert Ganian, Petr Hlinený, Alexander Langer, Jan Obdrzálek, Peter Rossmanith, Somnath Sikdar J. Comput. Syst. Sci., volume 80, number 1, pages 180–194, 2014. [bibtex]
[46]	Digraph width measures in parameterized algorithmics Robert Ganian, Petr Hlinený, Joachim Kneis, Alexander Langer, Jan Obdrzálek, Peter Rossmanith Discrete Applied Mathematics, volume 168, pages 88–107, 2014. [bibtex]
[45]	Unification and Projectivity in De Morgan and Kleene Algebras Simone Bova, Leonardo Manuel Cabrer Order, volume 31, number 2, pages 159–187, 2014. [bibtex]
[44]	Scalability Considerations for Multivariate Graph Visualization T. J. Jankun-Kelly, Tim Dwyer, Danny Holten, Christophe Hurter, Martin Nöllenburg, Chris Weaver, Kai Xu Chapter in Multivariate Network Visualization (Andreas Kerren, Helen C. Purchase, Matthew O. Ward, eds.), volume 8380 of LNCS, pages 207–235, 2014, Springer International Publishing. [bibtex] [doi]
[43]	Reducing the Number of Simulations in Operation Strategy Optimization for Hybrid Electric Vehicles Christopher Bacher, Thorsten Krenek, Günther R. Raidl Chapter in Applications of Evolutionary Computation (Anna I. Esparcia-Alcázar, Antonio M. Mora, eds.), pages 553-564, 2014, Springer. [bibtex] [pdf] [doi]
[42]	A survey on automated metro map layout methods Martin Nöllenburg Schematic Mapping Workshop, apr 2014. [bibtex] [pdf]
[41]	Boosting an Exact Logic-Based Benders Decomposition Approach by Variable Neighborhood Search T. Baumhauer B. Hu Günther R. Raidl Proceedings of the 3rd International Conference on Variable Neighborhood Search, volume 47 of Electronic Notes in Discrete Mathematics, pages 149–156, 2014, Elsevier. [bibtex] [pdf]
[40]	Speeding up Logic-Based Benders' Decomposition by a Metaheuristic for a Bi-Level Capacitated Vehicle Routing Problem Günther R. Raidl, Thomas Baumhauer, Bin Hu Hybrid Metaheuristics, 9th Int. Workshop, HM 2014 (Maria J. Blesa, Christain Blum, Stefan Voß, eds.), volume 8457 of LNCS, pages 183–197, 2014, Springer. [bibtex] [pdf]
[39]	Balancing Bicycle Sharing Systems: An Analysis of Path Relinking and Recombination within a GRASP Hybrid Petrina Papazek, Christian Kloimüllner, Bin Hu, Günther R. Raidl Parallel Problem Solving from Nature – PPSN XIII (Thomas Bartz-Beielstein, Jürgen Branke, Bogdan Filipic, Jim Smith, eds.), volume 8672 of LNCS, pages 792–801, 2014, Springer. [bibtex] [pdf] [doi]
[38]	On Self-Approaching and Increasing-Chord Drawings of 3-Connected Planar Graphs Martin Nöllenburg, Roman Prutkin, Ignaz Rutter Graph Drawing (GD'14) (Christian A. Duncan, Antonios Symvonis, eds.), volume 8871 of LNCS, pages 476–487, 2014, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[37]	Minimum Tree Supports for Hypergraphs and Low-Concurrency Euler Diagrams Boris Klemz, Tamara Mchedlidze, Martin Nöllenburg Algorithm Theory (SWAT'14) (R. Ravi, I. L. Gørtz, eds.), volume 8503 of LNCS, pages 253–264, 2014, Springer International Publishing. [bibtex] [doi]
[36]	Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case Christian Kloimüllner, Petrina Papazek, Bin Hu, Günther R. Raidl Evolutionary Computation in Combinatorial Optimization – EvoCOP 2014 (Christian Blum, Gabriela Ochoa, eds.), volume 8600 of LNCS, pages 73–84, 2014, Springer. [bibtex] [pdf] [doi]
[35]	An Efficient Variable Neighborhood Search Solving a Robust Dynamic Facility Location Problem in Emergency Service Network Stefan Misković, Zorica Stanimirović, Igor Grujicic Proceedings of the 3rd International Conference on Variable Neighborhood Search, volume 47 of Electronic Notes in Discrete Mathematics, pages 261–268, 2014, Elsevier. [bibtex] [pdf]
[34]	Variable Neighbourhood Search for Integrated Timetable Design of Railway Infrastructure Igor Grujicic, Günther R. Raidl, Andreas Schöbel Proceedings of the 3rd International Conference on Variable Neighborhood Search, volume 47 of Electronic Notes in Discrete Mathematics, pages 141–148, 2014, Elsevier. [bibtex] [pdf]
[33]	A Metaheuristic Approach for Integrated Timetable based Design of Railway Infrastructure Igor Grujicic, Günther R. Raidl, Andreas Schöbel, Gerhard Besau Proceedings of the 3rd International Conference on Road and Rail Infrastructure CETRA 2014 (S. Lakusic, others, eds.), pages 691–696, 2014, Department of Transportation, University of Zagreb. [bibtex] [pdf]
[32]	Evaluation of Labeling Strategies for Rotating Maps Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter Experimental Algorithms (SEA'14) (Joachim Gudmundsson, J. Katajainen, eds.), volume 8504 of LNCS, pages 235–246, 2014, Springer International Publishing. [bibtex] [pdf] [doi]
[31]	A Variable Neighborhood Search Using Very Large Neighborhood Structures for the 3-Staged 2-Dimensional Cutting Stock Problem Frederico Dusberger, Günther R. Raidl Hybrid Metaheuristics, 9th Int. Workshop, HM 2014 (Maria J. Blesa, Christain Blum, Stefan Voß, eds.), volume 8457 of LNCS, pages 85–99, 2014, Springer. [bibtex] [pdf]
[30]	PIGRA – A Tool for Pixelated Graph Representations Thomas Bläsius, Fabian Klute, Benjamin Niedermann, Martin Nöllenburg Graph Drawing (GD'14) (Christian A. Duncan, Antonios Symvonis, eds.), volume 8871 of LNCS, pages 513–514, 2014, Springer Berlin Heidelberg. Note: Poster abstract [bibtex] [pdf]
[29]	An Evolutionary Algorithm for the Leader-Follower Facility Location Problem with Proportional Customer Behavior Benjamin Biesinger, Bin Hu, Günther R. Raidl Conference Proceedings of Learning and Intelligent Optimization Conference (LION 8), volume 8426 of LNCS, pages 203–217, 2014, Springer. [bibtex] [pdf]
[28]	Semantic Word Cloud Representations: Hardness and Approximation Algorithms Lukas Barth, Sara Irina Fabrikant, Stephen G. Kobourov, Anna Lubiw, Martin Nöllenburg, Yoshio Okamoto, Sergey Pupyrev, Claudio Squarcella, Torsten Ueckerdt, Alexander Wolff Theoretical Informatics (LATIN'14) (Alfredo Viola, ed.), volume 8392 of LNCS, pages 514–525, 2014, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[27]	Simultaneous Embeddability of Two Partitions Jan Christoph Athenstädt, Tanja Hartmann, Martin Nöllenburg Graph Drawing (GD'14) (Christian A. Duncan, Antonios Symvonis, eds.), volume 8871 of LNCS, pages 64–75, 2014, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[26]	Variable Dependencies and Q-Resolution Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Carsten Sinz, Uwe Egly, eds.), volume 8561 of Lecture Notes in Computer Science, pages 269–284, 2014, Springer Verlag. [bibtex] [doi]
[25]	Linear Time Parameterized Algorithms via Skew-Symmetric Multicuts M. S. Ramanujan, Saket Saurabh Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014, pages 1739–1748, 2014. [bibtex] [pdf] [doi]
[24]	Vertex Exponential Algorithms for Connected f-Factors Geevarghese Philip, M. S. Ramanujan 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pages 61–71, 2014. [bibtex] [pdf] [doi]
[23]	A Parameterized Study of Maximum Generalized Pattern Matching Problems Sebastian Ordyniak, Alexandru Popa Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Marek Cygan, Pinar Heggernes, eds.), volume 8894 of Lecture Notes in Computer Science, pages 270–281, 2014, Springer Verlag. [bibtex]
[22]	Backdoors to Planning Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. (Carla E. Brodley, Peter Stone, eds.), pages 2300–2307, 2014, AAAI Press. [bibtex]
[21]	Parameterized Approximations via d-Skew-Symmetric Multicut Sudeshna Kolay, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, pages 457–468, 2014. [bibtex] [pdf] [doi]
[20]	Parameterized and Subexponential-Time Complexity of Satisfiability Problems and Applications Iyad A. Kanj, Stefan Szeider Combinatorial Optimization and Applications - 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings (Zhao Zhang, Lidong Wu, Wen Xu, Ding-Zhu Du, eds.), volume 8881 of Lecture Notes in Computer Science, pages 637–651, 2014, Springer Verlag. [bibtex] [pdf] [doi]
[19]	Backdoors into Heterogeneous Classes of SAT and CSP Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27-31, 2014, Québec City, Québec, Canada. (Carla E. Brodley, Peter Stone, eds.), pages 2652-2658, 2014, AAAI Press. [bibtex]
[18]	Finite Integer Index of Pathwidth and Treewidth Jakub Gajarský, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sanchez Villaamil, Somnath Sikdar Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Marek Cygan, Pinar Heggernes, eds.), volume 8894 of Lecture Notes in Computer Science, pages 258–269, 2014, Springer Verlag. [bibtex]
[17]	Faster Existential FO Model Checking on Posets Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings (Hee-Kap Ahn, Chan-Su Shin, eds.), volume 8889 of Lecture Notes in Computer Science, pages 441–451, 2014, Springer Verlag. [bibtex]
[16]	Parameterized Complexity Results for Agenda Safety in Judgment Aggregation Ulle Endriss, Ronald de Haan, Stefan Szeider Proceedings of ComSoc'14, Fifth International Workshop on Computational Social Choice Pittsburgh, Pennsylvania, June 23-25, 2014, pages 127–136, 2014. [bibtex] [pdf]
[15]	Fixed-Parameter Tractable Reductions to SAT Ronald de Haan, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Uwe Egly, Carsten Sinz, eds.), volume 8561 of Lecture Notes in Computer Science, pages 85-102, 2014, Springer Verlag. [bibtex] [pdf] [doi]
[14]	The Parameterized Complexity of Reasoning Problems Beyond NP Ronald de Haan, Stefan Szeider Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds.), pages 82–91, 2014, AAAI Press. [bibtex] [pdf]
[13]	Subexponential Time Complexity of CSP with Global Constraints Ronald de Haan, Iyad A. Kanj, Stefan Szeider Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings (Barry O'Sullivan, ed.), volume 8656 of Lecture Notes in Computer Science, pages 272-288, 2014, Springer Verlag. [bibtex] [pdf] [doi]
[12]	Small Unsatisfiable Subsets in Constraint Satisfaction Ronald de Haan, Iyad A. Kanj, Stefan Szeider 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 429–436, 2014, IEEE. [bibtex] [pdf] [doi]
[11]	Quantified Conjunctive Queries on Partially Ordered Sets Simone Bova, Robert Ganian, Stefan Szeider Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Marek Cygan, Pinar Heggernes, eds.), volume 8894 of Lecture Notes in Computer Science, pages 122–134, 2014, Springer Verlag. [bibtex] [pdf] [doi]
[10]	Model checking existential logic on partially ordered sets Simone Bova, Robert Ganian, Stefan Szeider Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 (Thomas A. Henzinger, Dale Miller, eds.), pages 21:1–21:10, 2014, ACM. [bibtex] [pdf] [doi]
[9]	The Complexity of Width Minimization for Existential Positive Queries Simone Bova, Hubie Chen Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014., pages 235–244, 2014. [bibtex]
[8]	On the Kernelization Complexity of String Problems Manu Basavaraju, Fahad Panolan, Ashutosh Rai, M. S. Ramanujan, Saket Saurabh Computing and Combinatorics - 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings, pages 141–153, 2014. [bibtex] [pdf] [doi]
[7]	Parameterized Algorithms to Preserve Connectivity Manu Basavaraju, Fedor V. Fomin, Petr A. Golovach, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I, pages 800–811, 2014. [bibtex] [pdf] [doi]
[6]	Heuristic Solution Approaches for the Two Dimensional Pre-Marshalling Problem Alan Tus Jun 2014, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[5]	Pfadsuche in einer Triangulation Reduction im Mammoth Massive Multiplayer Online Research Framework Patrick Klaffenboeck May 2014, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[4]	Applying Ant Colony Optimization to the Periodic Vehicle Routing Problem with Time Windows Dietmar Trummer Feb 2014, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[3]	Finding Longest Common Subsequences by GPU-Based Parallel Ant Colony Optimization David Markvica Feb 2014, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[2]	A Hybrid Algorithm for the Partition Coloring Problem Gilbert Fritz Feb 2014, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[1]	Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy Ronald de Haan, Stefan Szeider 2014, Technical report TR14-143, Electronic Colloquium on Computational Complexity (ECCC). [bibtex] [pdf]

2013

79 results

2013
[79]	Proceedings of the 10th Metaheuristics International Conference (Hoong Chuin Lau, Günther R. Raidl, Patrick van Hentenryck, eds.), 2013. [bibtex]
[78]	Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers (Gregory Gutin, Stefan Szeider, eds.), volume 8246 of Lecture Notes in Computer Science, 2013, Springer Verlag. Note: ISBN 978-3-319-03897-1 [bibtex] [pdf] [doi]
[77]	Edge-weighted contact representations of planar graphs Martin Nöllenburg, Roman Prutkin, Ignaz Rutter J. Graph Algorithms Appl., volume 17, number 4, pages 441–473, 2013. [bibtex] [doi]
[76]	Stabilizing Branch-and-Price for Constrained Tree Problems Markus Leitner, Mario Ruthmair, Günther R. Raidl Networks, volume 61, number 2, pages 150–170, 2013. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/leitner-11e.pdf [bibtex]
[75]	Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg, Monique Teillaud Dagstuhl Reports, volume 3, number 4, pages 34–68, 2013. [bibtex] [pdf] [doi]
[74]	Optimal 3D Angular Resolution for Low-Degree Graphs David Eppstein, Maarten Löffler, Elena Mumford, Martin Nöllenburg J. Graph Algorithms Appl., volume 17, number 3, pages 173–200, 2013. [bibtex] [doi]
[73]	Drawing Trees with Perfect Angular Resolution and Polynomial Area Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Martin Nöllenburg Discrete and Computational Geometry, volume 49, number 2, pages 157–182, 2013. [bibtex] [doi]
[72]	Parameterized Complexity Results for Exact Bayesian Network Structure Learning Sebastian Ordyniak, Stefan Szeider Journal Artificial Intelligence Research, volume 46, pages 263-302, 2013. [bibtex] [doi]
[71]	Satisfiability of acyclic and almost acyclic CNF formulas Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider Theoretical Computer Science, volume 481, pages 85-99, 2013. [bibtex] [doi]
[70]	A Polynomial Kernel for Feedback Arc Set on Bipartite Tournaments Pranabendu Misra, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh Theory Comput. Syst., volume 53, number 4, pages 609–620, 2013. [bibtex] [pdf] [doi]
[69]	Cops-and-robbers: remarks and problems Michel Boyer, Sif El Harti, Amal El Ouarari, Robert Ganian, Tomas Gavenciak, Gena Hahn, Carsten Moldenauer, Ignaz Rutter, Benoit Theriault, Martin Vatshelle Journal of Combinatorial Mathematics and Combinatorial Computing, volume 85, pages 141–159, 2013. [bibtex]
[68]	A unified approach to polynomial algorithms on graphs of bounded (bi-)rank-width Robert Ganian, Petr Hlinený, Jan Obdrzálek Eur. J. Comb., volume 34, number 3, pages 680–701, 2013. [bibtex]
[67]	Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width Robert Ganian, Petr Hlinený, Jan Obdrzálek Fundam. Inform., volume 123, number 1, pages 59–76, 2013. [bibtex]
[66]	Polynomial space hardness without disjunction property Simone Bova, Franco Montagna Theor. Comput. Sci., volume 467, pages 1–11, 2013. [bibtex]
[65]	Generic expression hardness results for primitive positive formula comparison Simone Bova, Hubie Chen, Matthew Valeriote Inf. Comput., volume 222, pages 108–120, 2013. [bibtex]
[64]	A Timeslot-Filling Based Heuristic Approach to Construct High-School Timetables Michael Pimmer, Günther R. Raidl Chapter in Advances in Metaheuristics (Luca Di Gaspero, Andrea Schaerf, Thomas Stützle, eds.), volume 53 of Operations Research/Computer Science Interfaces Series, pages 143–158, 2013, Springer. [bibtex] [pdf]
[63]	An Optimization Model for Integrated Timetable Based Design of Railway Infrastructure Andreas Schöbel, Günther R. Raidl, Igor Grujicic, Gerhard Besau, Gottfried Schuster Proceedings of the 5th International Seminar on Railway Operations Modelling and Analysis – RailCopenhagen 2013, pages 765–774, 2013, IAROR. [bibtex] [pdf]
[62]	Balancing Bicycle Sharing Systems: A Variable Neighborhood Search Approach Marian Rainer-Harbach, Petrina Papazek, Bin Hu, Günther R. Raidl Evolutionary Computation in Combinatorial Optimisation – 13th European Conference, EvoCOP 2013 (M. Middendorf, C. Blum, eds.), volume 7832 of LNCS, pages 121-132, 2013, Springer. [bibtex] [pdf]
[61]	Balancing Bicycle Sharing Systems: Improving a VNS by Efficiently Determining Optimal Loading Operations Günther R. Raidl, Bin Hu, Marian Rainer-Harbach, Petrina Papazek Hybrid Metaheuristics, 8th Int. Workshop, HM 2013 (M. J. Blesa, others, eds.), volume 7919 of LNCS, pages 130–143, 2013, Springer. [bibtex] [pdf]
[60]	A Memetic Algorithm with Two Distinct Solution Representations for the Partition Graph Coloring Problem Petrica C. Pop, Bin Hu, Günther R. Raidl Computer Aided Systems Theory – EUROCAST 2013 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 8111 of LNCS, pages 219–226, 2013, Springer. [bibtex] [pdf]
[59]	A Memetic Algorithm for the Partition Graph Coloring Problem Petrica C. Pop, Bin Hu, Günther R. Raidl Extended Abstracts of the 14th International Conference on Computer Aided Systems Theory, pages 167–169, 2013. [bibtex] [pdf]
[58]	On The Usability of Lombardi Graph Drawings Helen C. Purchase, John Hamer, Martin Nöllenburg, Stephen G. Kobourov Graph Drawing (GD'12) (Walter Didimo, Maurizio Patrignani, eds.), volume 7704 of LNCS, pages 451–462, 2013, Springer Berlin Heidelberg. [bibtex] [doi]
[57]	A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems Petrina Papazek, Günther R. Raidl, Marian Rainer-Harbach, Bin Hu Computer Aided Systems Theory – EUROCAST 2013 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 8111 of LNCS, pages 372–379, 2013, Springer. [bibtex] [pdf]
[56]	A PILOT/VND/GRASP Hybrid for Balancing Bicycle Sharing Systems Petrina Papazek, Günther R. Raidl, Marian Rainer-Harbach, Bin Hu Extended Abstracts of the 14th International Conference on Computer Aided Systems Theory, pages 223–225, 2013. [bibtex] [pdf]
[55]	Edge-weighted contact representations of planar graphs Martin Nöllenburg, Roman Prutkin, Ignaz Rutter Graph Drawing (GD'12) (Walter Didimo, Maurizio Patrignani, eds.), volume 7704 of LNCS, pages 224–235, 2013, Springer Berlin Heidelberg. [bibtex] [doi]
[54]	Euclidean Greedy Drawings of Trees Martin Nöllenburg, Roman Prutkin Algorithms (ESA'13) (H. L. Bodlaender, G. F. Italiano, eds.), volume 8125 of LNCS, pages 767–778, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[53]	Drawing Planar Graphs with a Prescribed Inner Face Tamara Mchedlidze, Martin Nöllenburg, Ignaz Rutter Graph Drawing (GD'13) (Stephen Wismath, Alexander Wolff, eds.), volume 8242 of LNCS, pages 316–327, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[52]	Planar Lombardi Drawings of Outerpaths Maarten Löffler, Martin Nöllenburg Graph Drawing (GD'12) (Walter Didimo, Maurizio Patrignani, eds.), volume 7704 of LNCS, pages 561–562, 2013, Springer Berlin Heidelberg. Note: Poster abstract [bibtex] [doi]
[51]	Circular-Arc Cartograms Jan-Hinrich Kämper, Stephen G. Kobourov, Martin Nöllenburg IEEE Pacific Visualization Symposium (PacificVis'13), pages 1–8, 2013, IEEE. [bibtex] [pdf] [doi]
[50]	Clique and Independent Set Based GRASP Approaches for the Regenerator Location Problem Peter Jahrmann, Günther R. Raidl Proceedings of the 10th Metaheuristics International Conference (H.C. Lau, P. Van Hentenryck, G.R. Raidl, eds.), pages 30/1–30/10, 2013. [bibtex] [pdf]
[49]	A Memetic Algorithm for the Virtual Network Mapping Problem Johannes Inführ, Günther R. Raidl Proceedings of the 10th Metaheuristics International Conference (H.C. Lau, P. Van Hentenryck, G.R. Raidl, eds.), pages 28/1–28/10, 2013. [bibtex] [pdf]
[48]	GRASP and Variable Neighborhood Search for the Virtual Network Mapping Problem Johannes Inführ, Günther R. Raidl Hybrid Metaheuristics, 8th Int. Workshop, HM 2013 (M. J. Blesa, others, eds.), volume 7919 of LNCS, pages 159–173, 2013, Springer. [bibtex] [pdf]
[47]	Solving the Virtual Network Mapping Problem with Construction Heuristics, Local Search and Variable Neighborhood Descent Johannes Inführ, Günther R. Raidl Evolutionary Computation in Combinatorial Optimisation – 13th European Conference, EvoCOP 2013 (M. Middendorf, C. Blum, eds.), volume 7832 of LNCS, pages 250-261, 2013, Springer. [bibtex] [pdf]
[46]	Using Optimized Virtual Network Embedding for Network Dimensioning Johannes Inführ, David Stezenbach, Matthias Hartmann, Kurt Tutschku, Günther R. Raidl Proceedings of Networked Systems 2013, pages 118–125, 2013, IEEE. [bibtex] [pdf]
[45]	A Mixed Integer Model for the Stamina-Aware Sightseeing Tour Problem Bin Hu, Werner Ölz, Günther R. Raidl Extended Abstracts of the 14th International Conference on Computer Aided Systems Theory, pages 200–202, 2013. [bibtex] [pdf]
[44]	Trajectory-Based Dynamic Map Labeling Andreas Gemsa, Benjamin Niedermann, Martin Nöllenburg Algorithms and Computation (ISAAC'13) (Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam, eds.), volume 8283 of LNCS, pages 413–423, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[43]	Drawing Metro Maps using Bézier Curves Martin Fink, Herman Haverkort, Martin Nöllenburg, Maxwell J. Roberts, Julian Schuhmann, Alexander Wolff Graph Drawing (GD'12) (Walter Didimo, Maurizio Patrignani, eds.), volume 7704 of LNCS, pages 463–474, 2013, Springer Berlin Heidelberg. [bibtex] [doi]
[42]	Strict Confluent Drawing David Eppstein, Danny Holten, Maarten Löffler, Martin Nöllenburg, Bettina Speckmann, Kevin Verbeek Graph Drawing (GD'13) (Stephen Wismath, Alexander Wolff, eds.), volume 8242 of LNCS, pages 352–363, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[41]	Enhancing a Genetic Algorithm with a Solution Archive to Reconstruct Cross Cut Shredded Text Documents Benjamin Biesinger, Christian Schauer, Bin Hu, Günther R. Raidl Computer Aided Systems Theory – EUROCAST 2013 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), volume 8111 of LNCS, pages 380–387, 2013, Springer. [bibtex] [pdf]
[40]	Reconstructing Cross Cut Shredded Documents with a Genetic Algorithm with Solution Archive Benjamin Biesinger, Christian Schauer, Bin Hu, Günther R. Raidl Extended Abstracts of the 14th International Conference on Computer Aided Systems Theory, pages 226–228, 2013. [bibtex] [pdf]
[39]	Progress on Partial Edge Drawings Till Bruckdorfer, Sabine Cornelsen, Carsten Gutwenger, Michael Kaufmann, Fabrizio Montecchiani, Martin Nöllenburg, Alexander Wolff Graph Drawing (GD'12) (Walter Didimo, Maurizio Patrignani, eds.), volume 7704 of LNCS, pages 67–78, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[38]	Many-to-One Boundary Labeling with Backbones Michael Bekos, Sabine Cornelsen, Martin Fink, Seok-Hee Hong, Michael Kaufmann, Martin Nöllenburg, Ignaz Rutter, Antonios Symvonis Graph Drawing (GD'13) (Stephen Wismath, Alexander Wolff, eds.), volume 8242 of LNCS, pages 244–255, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[37]	Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings Therese Biedl, Thomas Bläsius, Benjamin Niedermann, Martin Nöllenburg, Roman Prutkin, Ignaz Rutter Graph Drawing (GD'13) (Stephen Wismath, Alexander Wolff, eds.), volume 8242 of LNCS, pages 460–471, 2013, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[36]	Visualizing Large Hierarchically Clustered Graphs with a Landscape Metaphor Jan Christoph Athenstädt, Robert Görke, Marcus Krug, Martin Nöllenburg Graph Drawing (GD'12) (Walter Didimo, Maurizio Patrignani, eds.), volume 7704 of LNCS, pages 553–554, 2013, Springer Berlin Heidelberg. Note: Poster abstract [bibtex] [doi]
[35]	Capturing Structure in Hard Combinatorial Problems Stefan Szeider 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013, pages 897-898, 2013. Note: invited keynote talk [bibtex] [doi]
[34]	The Parameterized Complexity of Constraint Satisfaction and Reasoning Stefan Szeider Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers (Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, eds.), volume 7773 of Lecture Notes in Computer Science, pages 27-37, 2013, Springer Verlag. [bibtex] [doi]
[33]	Model Counting for Formulas of Bounded Clique-Width Friedrich Slivovsky, Stefan Szeider Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (Leizhen Cai, Siu-Wing Cheng, Tak Wah Lam, eds.), volume 8283 of Lecture Notes in Computer Science, pages 677-687, 2013, Springer Verlag. [bibtex] [doi]
[32]	Backdoors to Abduction Andreas Pfandler, Stefan Rümmele, Stefan Szeider Proceedings of IJCAI 2013, the 23th International Joint Conference on Artificial Intelligence, August 3-9, 2013, Beijing, China, 2013. [bibtex]
[31]	Model Counting for CNF Formulas of Bounded Modular Treewidth Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier, Thomas Wilke, eds.), volume 20 of LIPIcs, pages 55-66, 2013, Leibniz-Zentrum fuer Informatik. [bibtex] [doi]
[30]	Revisiting Space in Proof Complexity: Treewidth and Pathwidth Moritz Müller, Stefan Szeider Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Krishnendu Chatterjee, Jiri Sgall, eds.), volume 8087 of Lecture Notes in Computer Science, pages 704-716, 2013, Springer Verlag. [bibtex] [doi]
[29]	Upper and Lower Bounds for Weak Backdoor Set Detection Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag. [bibtex] [doi]
[28]	Hardness of r-dominating set on Graphs of Diameter (r + 1) Daniel Lokshtanov, Neeldhara Misra, Geevarghese Philip, M. S. Ramanujan, Saket Saurabh Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pages 255–267, 2013. [bibtex] [pdf] [doi]
[27]	The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider Theory and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers (Elizabeth Black, Sanjay Modgil, Nir Oren, eds.), volume 8306 of Lecture Notes in Computer Science, pages 158-175, 2013, Springer Verlag. [bibtex] [doi]
[26]	On the Subexponential Time Complexity of CSP Iyad Kanj, Stefan Szeider Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins, Michael L. Littman, eds.), pages 459-465, 2013, The AAAI Press. [bibtex]
[25]	Parameterized Complexity of Directed Steiner Tree on Sparse Graphs Mark Jones, Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Ondrej Suchý Algorithms - ESA 2013 - 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings, pages 671–682, 2013. [bibtex] [pdf] [doi]
[24]	A SAT Approach to Clique-Width Marijn Heule, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 318-334, 2013, Springer Verlag. [bibtex] [doi]
[23]	Strong Backdoors to Bounded Treewidth SAT Serge Gaspers, Stefan Szeider 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 489-498, 2013, IEEE Computer Society. [bibtex] [doi]
[22]	Backdoors to q-Horn Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier, Thomas Wilke, eds.), volume 20 of LIPIcs, pages 67-79, 2013, Leibniz-Zentrum fuer Informatik. [bibtex] [doi]
[21]	Meta-kernelization with Structural Parameters Robert Ganian, Friedrich Slivovsky, Stefan Szeider Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Krishnendu Chatterjee, Jiri Sgall, eds.), volume 8087 of Lecture Notes in Computer Science, pages 457-468, 2013, Springer Verlag. [bibtex] [doi]
[20]	Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes Robert Ganian, Jan Obdrzálek Combinatorial Algorithms - 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers, volume 8288 of Lecture Notes in Computer Science, pages 164–177, 2013, Springer Verlag. [bibtex]
[19]	FO Model Checking of Interval Graphs Robert Ganian, Petr Hlinený, Daniel Král', Jan Obdrzálek, Jarett Schwartz, Jakub Teska Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, volume 7966 of Lecture Notes in Computer Science, pages 250–262, 2013, Springer Verlag. [bibtex]
[18]	Kernelization Using Structural Parameters on Sparse Graph Classes Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sanchez Villaamil, Somnath Sikdar Algorithms - ESA 2013 - 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (Hans L. Bodlaender, Giuseppe F. Italiano, eds.), volume 8125 of Lecture Notes in Computer Science, pages 529–540, 2013, Springer Verlag. [bibtex]
[17]	Backdoors to Normality for Disjunctive Logic Programs Johannes Klaus Fichte, Stefan Szeider Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins, Michael L. Littman, eds.), pages 320-337, 2013, The AAAI Press. [bibtex]
[16]	Parameterized Complexity Results for Plan Reuse Ronald de Haan, Anna Roubickova, Stefan Szeider Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins, Michael L. Littman, eds.), pages 224-231, 2013, The AAAI Press. [bibtex] [pdf]
[15]	Local Backbones Ronald de Haan, Iyad A. Kanj, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 377-393, 2013, Springer Verlag. [bibtex] [pdf] [doi]
[14]	Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints Jason Crampton, Robert Crowston, Gregory Gutin, Mark Jones, M. S. Ramanujan Frontiers in Algorithmics \emphand Algorithmic Aspects in Information and Management, Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings, pages 198–209, 2013. [bibtex] [pdf] [doi]
[13]	Faster Exact Algorithms for Some Terminal Set Problems Rajesh Hemant Chitnis, Fedor V. Fomin, Daniel Lokshtanov, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pages 150–162, 2013. [bibtex] [pdf] [doi]
[12]	Partially Polynomial Kernels for Set Cover and Test Cover Manu Basavaraju, Mathew C. Francis, M. S. Ramanujan, Saket Saurabh IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pages 67–78, 2013. [bibtex] [pdf] [doi]
[11]	Parameterized Complexity and Kernel Bounds for Hard Planning Problems Christer Bäckström, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider Algorithms and Complexity, 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Paul G. Spirakis, Maria J. Serna, eds.), volume 7878 of Lecture Notes in Computer Science, pages 13-24, 2013, Springer Verlag. [bibtex] [doi]
[10]	Optimization Challenges of the Future Federated Internet Johannes Inführ Oct 2013, PhD thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. R. Raidl and K. Tutschku [bibtex] [pdf]
[9]	Balancing Bike Sharing Systems Andreas Pinter Dec 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[8]	The Rooted Delay-Constrained Steiner Tree Problem with Uncertain Delays Roman Karl Dec 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl, M. Leitner, and M. Ruthmair [bibtex] [pdf]
[7]	Two-Phase Local Search for the Bi-objective Connected Facility Location Problem Thomas Petelin Dec 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Leitner [bibtex] [pdf]
[6]	Metaheuristic Optimization of Electro-Hybrid Powertrains Using Machine Learning Techniques Christopher Bacher Aug 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and T. Krenek. \textbf3rd price Johann Puch Innovation Award 2013 (Magna Steyr) [bibtex] [pdf]
[5]	Analyse und Implementierung von Fallzusammenführungen diagnosebezogener Fallgruppen aus Sicht eines Krankenhausinformationssystems Markus Putzenlechner Aug 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and D. Ljubic [bibtex] [pdf]
[4]	Critical Links Detection using CUDA Thomas Schnabl Apr 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and B. Hu [bibtex] [pdf]
[3]	Selective Graph Coloring Problem Claus-Dieter Volko Apr 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and B. Hu [bibtex] [pdf]
[2]	Metaheuristics for the Regenerator Location Problem Peter Jahrmann Mar 2013, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[1]	PILOT, GRASP, and VNS Approaches for the Static Balancing of Bicycle Sharing Systems Marian Rainer-Harbach, Petrina Papazek, Bin Hu, Günther R. Raidl 2013, Technical report TR 186–1–13–01, Institute of Computer Graphics and Algorithms, Vienna University of Technology. [bibtex] [pdf]

2012

50 results

2012
[50]	Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012 (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), volume 245 of Frontiers in Artificial Intelligence and Applications, 2012, IOS Press. Note: ISBN 978-1-61499-110-6 [bibtex]
[49]	On graph contractions and induced minors Pim van 't Hof, Marcin Kamiński, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos Discr. Appl. Math., volume 160, number 6, pages 799-809, 2012. [bibtex] [doi]
[48]	Solving the Post Enrolment Course Timetabling Problem by Ant Colony Optimization Clemens Nothegger, Alfred Mayer, Andreas Chwatal, Günther R. Raidl Annals of Operations Research, volume 194, number 1, pages 325–339, 2012. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/nothegger-12.pdf [bibtex]
[47]	Lombardi Drawings of Graphs Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Martin Nöllenburg J. Graph Algorithms Appl., volume 16, number 1, pages 85–108, 2012. [bibtex] [doi]
[46]	Algorithms for Computing the Maximum Weight Region Decomposable into Elementary Shapes Jinhee Chun, Natsuda Kaothanthong, Ryosei Kasai, Matias Korman, Takeshi Tokuyama, Martin Nöllenburg Computer Vision and Image Understanding, volume 116, number 7, pages 803–814, 2012. [bibtex] [doi]
[45]	Drawing (Complete) Binary Tanglegrams Kevin Buchin, Maike Buchin, Jaroslaw Byrka, Martin Nöllenburg, Yoshio Okamoto, Rodrigo Silveira, Alexander Wolff Algorithmica, volume 62, number 1–2, pages 309–332, 2012. [bibtex] [doi]
[44]	Cover Contact Graphs Nieves Atienza, Natalia de Castro, Carmen Cortés, M. Ángeles Garrido, Clara I. Grima, Gregorio Hernández, Alberto Márquez, Auxiliadora Moreno, Martin Nöllenburg, José Ramón Portillo, Pedro Reyes, Jesús Valenzuela, Maria Trinidad Villar, Alexander Wolff J. Computational Geometry, volume 3, number 1, pages 102–131, 2012. [bibtex] [pdf]
[43]	Editing graphs to satisfy degree constraints: a parameterized approach Luke Mathieson, Stefan Szeider Journal of Computer and System Sciences, volume 78, number 1, pages 179-191, 2012. [bibtex] [doi]
[42]	Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo Algorithmica, volume 64, number 1, pages 112-125, 2012. [bibtex] [doi]
[41]	Augmenting tractable fragments of abstract argumentation Wolfgang Dvorák, Sebastian Ordyniak, Stefan Szeider Artificial Intelligence, volume 186, pages 157-173, 2012. [bibtex] [doi]
[40]	Finite RDP-algebras: duality, coproducts and logic Simone Bova, Diego Valota J. Log. Comput., volume 22, number 3, pages 417–450, 2012. [bibtex]
[39]	On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas Simone Bova, Hubie Chen, Matthew Valeriote Theory Comput. Syst., volume 50, number 2, pages 329–353, 2012. [bibtex]
[38]	Lewis Dichotomies in Many-Valued Logics Simone Bova Studia Logica, volume 100, number 6, pages 1271–1290, 2012. [bibtex]
[37]	A Variable Neighborhood Search Approach for the Two-Echelon Location-Routing Problem Martin Schwengerer, Sandro Pirkwieser, Günther R. Raidl Evolutionary Computation in Combinatorial Optimisation – EvoCOP 2012 (J.-K. Hao, M. Middendorf, eds.), volume 7245 of LNCS, pages 13–24, 2012, Springer, Heidelberg. [bibtex] [pdf]
[36]	Variable Neighborhood Search and GRASP for Three-Layer Hierarchical Ring Network Design Christian Schauer, Günther R. Raidl Parallel Problem Solving from Nature–PPSN XII (C. A. Coello Coello, others, eds.), volume 7492 of LNCS, pages 458–467, 2012, Springer. [bibtex] [pdf]
[35]	On Solving the Rooted Delay- and Delay-Variation-Constrained Steiner Tree Problem Mario Ruthmair, Günther R. Raidl Proceedings of the 2nd International Symposium on Combinatorial Optimization (A.R. Mahjoub, others, eds.), volume 7422 of LNCS, pages 225–236, 2012, Springer. [bibtex] [pdf]
[34]	A Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem Mario Ruthmair, Günther R. Raidl Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I (R. Moreno-Díaz, others, eds.), volume 6927 of LNCS, pages 351–358, 2012, Springer. [bibtex] [pdf]
[33]	Hybrid Heuristics for Multimodal Homecare Scheduling Andrea Rendl, Matthias Prandtstetter, Gerhard Hiermann, Jakob Puchinger, Günther R. Raidl 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12) (Nicolas Beldiceanu, Narendra Jussien, Éric Pinson, eds.), pages 339–355, 2012, Springer. [bibtex] [pdf]
[32]	Improved Packing and Routing of Vehicles with Compartments Sandro Pirkwieser, Günther R. Raidl, Jens Gottlieb Computer Aided Systems Theory – EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6–11, 2011, Revised Selected Papers, Part I (R. Moreno-Díaz, others, eds.), volume 6927 of LNCS, pages 392–399, 2012, Springer. [bibtex] [pdf]
[31]	Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location Markus Leitner, Günther R. Raidl Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I (R. Moreno-Díaz, others, eds.), volume 6927 of LNCS, pages 295–302, 2012, Springer. [bibtex] [pdf]
[30]	Applying (Hybrid) Metaheuristics to Fuel Consumption Optimization of Hybrid Electric Vehicles Thorsten Krenek, Mario Ruthmair, Günther R. Raidl, Michael Planer Applications of Evolutionary Computation – EvoApplications 2012 (C. Di Chio, others, eds.), volume 7248 of LNCS, pages 376–385, 2012, Springer, Heidelberg. [bibtex] [pdf]
[29]	Automatic Generation of 2-AntWars Players with Genetic Programming Johannes Inführ, Günther R. Raidl Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I (R. Moreno-Díaz, F. Pichler, A. Quesada-Arencibia, eds.), volume 6927 of LNCS, pages 248–255, 2012, Springer. [bibtex] [pdf]
[28]	An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem Bin Hu, Günther R. Raidl Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I (R. Moreno-Díaz, F. Pichler, A. Quesada-Arencibia, eds.), volume 6927 of LNCS, pages 287–294, 2012, Springer. [bibtex] [pdf]
[27]	An Evolutionary Algorithm with Solution Archives and Bounding Extension for the Generalized Minimum Spanning Tree Problem Bin Hu, Günther R. Raidl Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation (GECCO), pages 393–400, 2012, ACM Press. [bibtex] [pdf]
[26]	A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem Martin Berlakovich, Mario Ruthmair, Günther R. Raidl Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I (R. Moreno-Díaz, F. Pichler, A. Quesada-Arencibia, eds.), volume 6927 of LNCS, pages 256–263, 2012, Springer. [bibtex] [pdf]
[25]	Computing Resolution-Path Dependencies in Linear Time Friedrich Slivovsky, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 58-71, 2012, Springer Verlag. [bibtex] [doi]
[24]	LP can be a cure for Parameterized Problems N. S. Narayanaswamy, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France, pages 338–349, 2012. [bibtex] [pdf] [doi]
[23]	Parameterized Algorithms for Even Cycle Transversal Pranabendu Misra, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers, pages 172–183, 2012. [bibtex] [pdf] [doi]
[22]	Parameterized Tractability of Multiway Cut with Parity Constraints Daniel Lokshtanov, M. S. Ramanujan Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I, pages 750–761, 2012. [bibtex] [pdf] [doi]
[21]	Valued-Based Argumentation for Tree-like Value Graphs Eun Jung Kim, Sebastian Ordyniak Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012 (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), volume 245 of Frontiers in Artificial Intelligence and Applications, pages 378–389, 2012, IOS Press. [bibtex]
[20]	Strong Backdoors to Nested Satisfiability Serge Gaspers, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 72-85, 2012, Springer Verlag. [bibtex] [doi]
[19]	Backdoors to Acyclic SAT Serge Gaspers, Stefan Szeider Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, eds.), volume 7391 of Lecture Notes in Computer Science, pages 363-374, 2012, Springer Verlag. [bibtex] [doi]
[18]	Backdoors to Satisfaction Serge Gaspers, Stefan Szeider The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday (Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx, eds.), volume 7370 of Lecture Notes in Computer Science, pages 287-317, 2012, Springer Verlag. [bibtex] [doi]
[17]	On Finding Optimal Polytrees Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann, Bart Selman, eds.), 2012, AAAI Press. [bibtex]
[16]	Don't Be Strict in Local Search! Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann, Bart Selman, eds.), 2012, AAAI Press. [bibtex]
[15]	When Trees Grow Low: Shrubs and Fast MSO1 Robert Ganian, Petr Hlinený, Jaroslav Nesetril, Jan Obdrzálek, Patrice Ossona de Mendez, Reshma Ramadurai Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings, volume 7464 of Lecture Notes in Computer Science, pages 419–430, 2012, Springer Verlag. [bibtex]
[14]	Lower Bounds on the Complexity of MSO1 Model-Checking Robert Ganian, Petr Hlinený, Alexander Langer, Jan Obdrzálek, Peter Rossmanith, Somnath Sikdar 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France, volume 14 of LIPIcs, pages 326–337, 2012, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bibtex]
[13]	k-Gap Interval Graphs Fedor V. Fomin, Serge Gaspers, Petr A. Golovach, Karol Suchan, Stefan Szeider, Erik Jan van Leeuwen, Martin Vatshelle, Yngve Villanger LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings (David Fernández-Baca, ed.), volume 7256 of Lecture Notes in Computer Science, pages 350-361, 2012, Springer Verlag. [bibtex] [doi]
[12]	Abstract Argumentation via Monadic Second Order Logic Wolfgang Dvorák, Stefan Szeider, Stefan Woltran Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings (Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger, eds.), volume 7520 of Lecture Notes in Computer Science, pages 85-98, 2012, Springer Verlag. [bibtex] [doi]
[11]	The Complexity of Planning Revisited - A Parameterized Analysis Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann, Bart Selman, eds.), 2012, AAAI Press. [bibtex]
[10]	On Solving Constrained Tree Problems and an Adaptive Layers Framework Mario Ruthmair pages 187, May 2012, PhD thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. R. Raidl and U. Pferschy [bibtex] [pdf]
[9]	Hybrid Metaheuristics and Matheuristics for Problems in Bioinformatics and Transportation Sandro Pirkwieser May 2012, PhD thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. R. Raidl and K. F. Dörner [bibtex] [pdf]
[8]	The Vehicle Routing Problem with Compartments Philipp Gebhard Oct 2012, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and S. Pirkwieser [bibtex] [pdf]
[7]	Extending the Gecode Framework with Interval Constraint Programming Ivan Ivezi\'c Oct 2012, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and L. Di Gaspero [bibtex] [pdf]
[6]	Improving the Protein Identification Performance in High-Resolution Mass Spectrometry Data Frederico Dusberger Oct 2012, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl, K. Mechtler, and P. Pichler [bibtex] [pdf]
[5]	Solving Multimodal Resource Constrained Project Scheduling Problems Martin Sturm Sep 2012, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl [bibtex] [pdf]
[4]	Metaheuristics for a Multimodal Home-Health Care Scheduling Problem Gerhard Hiermann May 2012, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and J. Puchinger [bibtex] [pdf]
[3]	Enhancing an Evolutionary Algorithm with a Solution Archive to Reconstruct Cross Cut Shredded Text Documents Benjamin Biesinger May 2012, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and C. Schauer and B. Hu [bibtex] [pdf]
[2]	Description Logic Based Reasoning on Programming Languages Ronald de Haan 2012, Master's thesis, Technische Universität Wien. [bibtex] [pdf]
[1]	Backdoors to Tractable Answer-Set Programming Johannes Klaus Fichte, Stefan Szeider 2012, Technical report 1104.2788, Arxiv.org. Note: Extended and updated version of a paper that appeared in the proceedings of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence [bibtex]

2011

57 results

2011
[57]	Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming Martin Nöllenburg, Alexander Wolff IEEE Trans. Visualization and Computer Graphics, volume 17, number 5, pages 626-641, 2011. [bibtex] [doi]
[56]	Branch-and-Cut-and-Price for Capacitated Connected Facility Location Markus Leitner, Günther R. Raidl Journal of Mathematical Modelling and Algorithms, volume 10, number 3, pages 245–267, 2011, Springer. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/leitner-10b.pdf [bibtex] [doi]
[55]	Solving the Minimum Label Spanning Tree Problem by Mathematical Programming Techniques Andreas Chwatal, Günther R. Raidl Advances in Operations Research, volume 2011, number 143732, pages 1–38, 2011. [bibtex] [pdf] [doi]
[54]	Hybrid Metaheuristics in Combinatorial Optimization: A Survey Christian Blum, Jakob Puchinger, Günther R. Raidl, Andrea Roli Applied Soft Computing, volume 11, pages 4135–4151, 2011. Note: previous technical report version at https://www.ac.tuwien.ac.at/files/pub/blum-11.pdf [bibtex]
[53]	The parameterized complexity of k-flip local search for SAT and MAX SAT Stefan Szeider Discrete Optim., volume 8, number 1, pages 139-145, 2011. [bibtex]
[52]	Monadic Second Order Logic on Graphs with Local Cardinality Constraints Stefan Szeider ACM Transactions on Computational Logic, volume 12, number 2, pages article 12, 2011. [bibtex] [doi]
[51]	Tractable cases of the extended global cardinality constraint Marko Samer, Stefan Szeider Constraints, volume 16, number 1, pages 1-24, 2011. [bibtex] [doi]
[50]	Algorithms and Complexity Results for Persuasive Argumentation Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider Artificial Intelligence, volume 175, pages 1722-1736, 2011. [bibtex]
[49]	A probabilistic approach to problems parameterized above or below tight bounds Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo Journal of Computer and System Sciences, volume 77, number 2, pages 422-429, 2011. [bibtex] [pdf] [doi]
[48]	On the complexity of some colorful problems parameterized by treewidth Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances Rosamond, Saket Saurabh, Stefan Szeider, Carsten Thomassen Information and Computation, volume 209, number 2, pages 143-153, 2011. [bibtex]
[47]	Parameterized Proof Complexity Stefan S. Dantchev, Barnaby Martin, Stefan Szeider Computational Complexity, volume 20, number 1, pages 51-85, 2011. [bibtex] [doi]
[46]	Solving MAX-r-SAT above a tight lower bound Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo Algorithmica, volume 61, number 3, pages 638-655, 2011. [bibtex]
[45]	Stabilized Branch-and-Price for the Rooted Delay-Constrained Steiner Tree Problem Markus Leitner, Mario Ruthmair, Günther R. Raidl Network Optimization: 5th International Conference, INOC 2011 (J. Pahl, T. Reiners, S. Voß, eds.), volume 6701 of LNCS, pages 124–138, Jun 2011, Springer. [bibtex] [pdf]
[44]	Stabilized Column Generation for the Rooted Delay-Constrained Steiner Tree Problem Markus Leitner, Mario Ruthmair, Günther R. Raidl Proceedings of the VII ALIO/EURO – Workshop on Applied Combinatorial Optimization, pages 250–253, May 2011. [bibtex] [pdf]
[43]	A Layered Graph Model and an Adaptive Layers Framework to Solve Delay-Constrained Minimum Tree Problems Mario Ruthmair, Günther R. Raidl Fifteenth Conference on Integer Programming and Combinatorial Optimization (IPCO XV) (O. Günlük, G.J. Woeginger, eds.), volume 6655 of LNCS, pages 376–388, 2011, Springer, Heidelberg. [bibtex] [pdf]
[42]	Using a Solution Archive to Enhance Metaheuristics for the Rooted Delay-Constrained Minimum Spanning Tree Problem Mario Ruthmair, Andreas Hubmer, Günther R. Raidl Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (Alexis Quesada-Arencibia, others, eds.), pages 285–287, 2011. [bibtex] [pdf]
[41]	Tackling the Loading Aspect of the Vehicle Routing Problem with Compartments Sandro Pirkwieser, Günther R. Raidl, Jens Gottlieb Proceedings of the 9th Metaheuristics International Conference (Luca Di Gaspero, Andrea Schaerf, Thomas Stützle, eds.), pages 679–681, 2011. [bibtex] [pdf]
[40]	Improved Packing and Routing of Vehicles with Compartments Sandro Pirkwieser, Günther R. Raidl, Jens Gottlieb Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (Alexis Quesada-Arencibia, others, eds.), pages 302–304, 2011. [bibtex] [pdf]
[39]	A Timeslot-Filling Based Heuristic Approach to Construct High-School Timetables Michael Pimmer, Günther R. Raidl Proceedings of the 9th Metaheuristics International Conference (Luca Di Gaspero, Andrea Schaerf, Thomas Stützle, eds.), pages 349–358, 2011. [bibtex] [pdf]
[38]	Variable Neighborhood Search for Capacitated Connected Facility Location Markus Leitner, Günther R. Raidl Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (A. Quesada-Arencibia, others, eds.), pages 261–263, 2011. [bibtex] [pdf]
[37]	Connecting Two Trees with Optimal Routing Cost Mong-Jen Kao, Bastian Katz, Marcus Krug, D. T. Lee, Martin Nöllenburg, Ignaz Rutter, Dorothea Wagner Canadian Conference on Computational Geometry (CCCG '11), pages 43–47, 2011, University of Toronto. [bibtex] [pdf]
[36]	Introducing the Virtual Network Mapping Problem with Delay, Routing and Location Constraints Johannes Inführ, Günther R. Raidl Network Optimization: 5th International Conference, INOC 2011 (J. Pahl, T. Reiners, S. Voß, eds.), volume 6701 of LNCS, pages 105–117, 2011, Springer. [bibtex] [pdf]
[35]	Automatic Generation of 2-AntWars Players with Genetic Programming Johannes Inführ, Günther R. Raidl Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (Alexis Quesada-Arencibia, others, eds.), pages 244–246, 2011. [bibtex] [pdf]
[34]	An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem Bin Hu, Günther R. Raidl Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (Alexis Quesada-Arencibia, others, eds.), pages 256–259, 2011. [bibtex] [pdf]
[33]	Sliding Labels for Dynamic Point Labeling Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter Canadian Conference on Computational Geometry (CCCG '11), pages 205–210, 2011, University of Toronto. [bibtex] [pdf]
[32]	Consistent Labeling of Rotating Maps Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter Algorithms and Data Structures (WADS'11) (Frank Dehne, John Iacono, Jörg-Rüdiger Sack, eds.), volume 6844 of LNCS, pages 451–462, 2011, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[31]	On d-regular Schematization of Embedded Paths Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter Theory and Practice of Computer Science (SOFSEM'11), volume 6543 of LNCS, pages 260–271, 2011, Springer Berlin Heidelberg. [bibtex] [doi]
[30]	Automatic Generation of Route Sketches Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter Graph Drawing (GD'10) (Ulrik Brandes, Sabine Cornelsen, eds.), volume 6502 of LNCS, pages 391–392, 2011, Springer Berlin Heidelberg. Note: Poster abstract [bibtex] [doi]
[29]	Boundary-Labeling Algorithms for Panorama Images Andreas Gemsa, Jan-Henrik Haunert, Martin Nöllenburg Advances in Geographic Information Systems (SIGSPATIAL'11), pages 289–298, 2011, ACM. [bibtex] [pdf] [doi]
[28]	Optimal 3D Angular Resolution for Low-Degree Graphs David Eppstein, Maarten Löffler, Elena Mumford, Martin Nöllenburg Graph Drawing (GD'10) (Ulrik Brandes, Sabine Cornelsen, eds.), volume 6502 of LNCS, pages 208-219, 2011, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[27]	Lombardi Drawings of Graphs Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Martin Nöllenburg Graph Drawing (GD'10) (Ulrik Brandes, Sabine Cornelsen, eds.), volume 6502 of LNCS, pages 195–207, 2011, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[26]	Drawing Trees with Perfect Angular Resolution and Polynomial Area Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Martin Nöllenburg Graph Drawing (GD'10) (Ulrik Brandes, Sabine Cornelsen, eds.), volume 6502 of LNCS, pages 183–194, 2011, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[25]	A Branch-and-Cut-and-Price Algorithm for a Fingerprint-Template Compression Application Andreas M. Chwatal, Corina Thöni, Karin Oberlechner, Günther R. Raidl Proceedings of the 2011 Federated Conference on Computer Science and Information Systems (FedCSIS) (M. Ganzha, others, eds.), pages 239–246, 2011, IEEE Digital Library. [bibtex] [pdf]
[24]	A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem Martin Berlakovich, Mario Ruthmair, Günther R. Raidl Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (Alexis Quesada-Arencibia, others, eds.), pages 247–249, 2011. [bibtex] [pdf]
[23]	Adjacency-Preserving Spatial Treemaps Kevin Buchin, David Eppstein, Maarten Löffler, Martin Nöllenburg, Rodrigo I. Silveira Algorithms and Data Structures (WADS'11) (Frank Dehne, John Iacono, Jörg-Rüdiger Sack, eds.), volume 6844 of LNCS, pages 159–170, 2011, Springer Berlin Heidelberg. [bibtex] [pdf] [doi]
[22]	Limits of Preprocessing Stefan Szeider Proceedings of the Twenty-Fifth Conference on Artificial Intelligence, AAAI 2011, pages 93-98, 2011, AAAI Press, Menlo Park, California. [bibtex] [pdf]
[21]	Paths, Flowers and Vertex Cover Venkatesh Raman, M. S. Ramanujan, Saket Saurabh Algorithms - ESA 2011 - 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011. Proceedings, pages 382–393, 2011. [bibtex] [pdf] [doi]
[20]	Augmenting Tractable Fragments of Abstract Argumentation Sebastian Ordyniak, Stefan Szeider Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh, ed.), pages 1033-1038, 2011, AAAI Press/IJCAI. [bibtex]
[19]	Satisfiability of Acyclic and almost Acyclic CNF Formulas (II) Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings (Karem A. Sakallah, Laurent Simon, eds.), volume 6695 of Lecture Notes in Computer Science, pages 47-60, 2011, Springer Verlag. [bibtex] [doi]
[18]	A Polynomial Kernel for Feedback Arc Set on Bipartite Tournaments Pranabendu Misra, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh Algorithms and Computation - 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings, pages 333–343, 2011. [bibtex]
[17]	Kernels for Global Constraints Serge Gaspers, Stefan Szeider IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 (Toby Walsh, ed.), pages 540-545, 2011, IJCAI/AAAI. [bibtex]
[16]	The Parameterized Complexity of Local Consistency Serge Gaspers, Stefan Szeider Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011) (Jimmy Ho-Man Lee, ed.), volume 6876 of Lecture Notes in Computer Science, pages 302-316, 2011, Springer Verlag. [bibtex] [pdf]
[15]	Clique-width: When Hard Does Not Mean Impossible Robert Ganian, Petr Hlinený, Jan Obdrzálek 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany, volume 9 of LIPIcs, pages 404–415, 2011, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bibtex]
[14]	Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics Robert Ganian Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, volume 7112 of Lecture Notes in Computer Science, pages 259–271, 2011, Springer Verlag. [bibtex]
[13]	New Results on the Complexity of the Max- and Min-Rep Problems Robert Ganian SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings, volume 6543 of Lecture Notes in Computer Science, pages 238–247, 2011, Springer Verlag. [bibtex]
[12]	Backdoors to Tractable Answer-Set Programming Johannes Klaus Fichte, Stefan Szeider Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh, ed.), pages 863-868, 2011, AAAI Press/IJCAI. [bibtex]
[11]	Generic Expression Hardness Results for Primitive Positive Formula Comparison Simone Bova, Hubie Chen, Matthew Valeriote Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pages 344–355, 2011. [bibtex]
[10]	Ein Lösungsarchiv mit Branch-and-Bound-Erweiterung für das Generalized Minimum Spanning Tree Problem Christian Gruber Sep 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and B. Hu [bibtex] [pdf]
[9]	A Multilevel Refinement Approach to the Rooted Delay-Constrained Steiner Tree Problem Thomas Seidl Sep 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Ruthmair [bibtex] [pdf]
[8]	Heuristic Methods for the Hop Constrained Survivable Network Design Problem Gernot Fritz Sep 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Leitner [bibtex] [pdf]
[7]	Branch-and-Price for the Steiner Tree Problem with Revenues, Budget and Hop Constraints Markus Sinnl Aug 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Leitner [bibtex] [pdf]
[6]	Verbrauchsminimierung eines Hybridfahrzeuges im Neuen Europäischen Fahrzyklus Thorsten Krenek Jul 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Ruthmair [bibtex] [pdf]
[5]	Optimierung der periodischen Tourenplanung in der Müllentsorgung Karl-Michael Edlinger Jul 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and M. Ruthmair [bibtex] [pdf]
[4]	Anwendung von kombinatorischen Optimierungsmethoden zur Rekonstruktion von in Streifen geschnittenen Papierdokumenten Thomas Winkler Jul 2011, Master's thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. Note: supervised by G. Raidl and C. Schauer [bibtex] [pdf]
[3]	On Stabilized Branch-and-Price for Constrained Tree Problems Markus Leitner, Mario Ruthmair, Günther R. Raidl 2011, Technical report TR 186–1–11–01, Vienna University of Technology. [bibtex] [pdf]
[2]	Backdoors to Satisfaction Serge Gaspers, Stefan Szeider October 2011, Technical report 1110.6387, Arxiv.org. [bibtex]
[1]	Backdoors to Acyclic SAT Serge Gaspers, Stefan Szeider October 2011, Technical report 1110.6384, Arxiv.org. [bibtex]