Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
1
Parameterized Algorithms for Even Cycle Transversal
Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
, pages 172-183, 2012.
Pranabendu Misra
,
Venkatesh Raman
,
M. S. Ramanujan
,
Saket Saurabh
PDF
bib
DOI
Parameterized Tractability of Multiway Cut with Parity Constraints
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
, pages 750-761, 2012.
Daniel Lokshtanov
,
M. S. Ramanujan
PDF
bib
DOI
Strong Backdoors to Nested Satisfiability
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
(Alessandro Cimatti and Roberto Sebastiani), volume 7317 of
Lecture Notes in Computer Science
, pages 72-85, 2012, Springer Verlag.
Serge Gaspers
,
Stefan Szeider
bib
DOI
The Complexity of Planning Revisited - A Parameterized Analysis
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada
(Jörg Hoffmann and Bart Selman), 2012, AAAI Press.
Christer B{ä}ckstr{ö}m
,
Jiehua Chen
,
Peter Jonsson
,
Sebastian Ordyniak
,
Stefan Szeider
bib
Valued-Based Argumentation for Tree-like Value Graphs
Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012
(Bart Verheij and Stefan Szeider and Stefan Woltran), volume 245 of
Frontiers in Artificial Intelligence and Applications
, pages 378-389, 2012, IOS Press.
Eun Jung Kim
,
Sebastian Ordyniak
bib
Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location
Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I
(R. Moreno-D'iaz and others), volume 6927 of
LNCS
, pages 295-302, 2012, Springer.
Markus Leitner
,
Günther Raidl
PDF
bib
Variable Neighborhood Search and GRASP for Three-Layer Hierarchical Ring Network Design
Parallel Problem Solving from Nature–PPSN XII
(C. A. Coello Coello and others), volume 7492 of
LNCS
, pages 458-467, 2012, Springer.
Christian Schauer
,
Günther Raidl
PDF
bib
When Trees Grow Low: Shrubs and Fast MSO1
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.
Robert Ganian
,
Petr Hlinen{\'{y}}
,
Jaroslav Nesetril
,
Jan Obdrz{\'{a}}lek
,
Patrice Ossona De Mendez
,
Reshma Ramadurai
bib
Stabilized Branch-and-Price for the Rooted Delay-Constrained Steiner Tree Problem
Network Optimization: 5th International Conference, INOC 2011
(J. Pahl and T. Reiners and S. Voß), volume 6701 of
LNCS
, pages 124-138, June 2011, Springer.
Markus Leitner
,
Mario Ruthmair
,
Günther Raidl
PDF
bib
Stabilized Column Generation for the Rooted Delay-Constrained Steiner Tree Problem
Proceedings of the VII ALIO/EURO – Workshop on Applied Combinatorial Optimization
, pages 250-253, May 2011.
Markus Leitner
,
Mario Ruthmair
,
Günther Raidl
PDF
bib
«
»
bib
×