1

Parameterized Proof Complexity

Proceedings of the 48th Annual Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, pages 150-160, 2007, IEEE Press.

Stefan Dantchev, Barnaby Martin, Stefan Szeider

Variable Neighborhood Search for the Generalized Minimum Edge Biconnected Network Problem

Proceedings of the International Network Optimization Conference 2007 (Bernard Fortz), pages 69/1-6, 2007.

Markus Leitner, Bin Hu, Günther Raidl

Without Loss of Generality - Symmetric Reasoning for Resolution Systems (Invited Talk)

Proceedings of SymCon'07, Seventh International Workshop on Symmetry and Constraint Satisfaction Problems, satellite workshop of CP 2007, September 23, 2007, Providence, RI, USA (B. Benhamou), pages 5-8, 2007.

A Mixed-Integer Program for Drawing High-Quality Metro Maps

Graph Drawing (GD'05) (Healy, Patrick and Nikolov, Nikola S.), volume 3843 of LNCS, pages 321-333, 2006, Springer Berlin Heidelberg.

Martin Nöllenburg, Wolff, Alexander

A Unified View on Hybrid Metaheuristics

Proceedings of the Hybrid Metaheuristics Workshop (Francisco Almeida and others), volume 4030 of LNCS, pages 1-12, 2006, Springer.

Clique-width Minimization is NP-hard

Proceedings of STOC 2006; the 38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, pages 354-362, 2006, ACM.

Michael R. Fellows, Frances A. Rosamond, Udi Rotics, Stefan Szeider

Constraint satisfaction with bounded treewidth revisited

Proceedings of CP 2006 , Twelfth International Conference on Principles and Practice of Constraint Programming, September 24-29, 2006, Nantes, France, volume 4204 of Lecture Notes in Computer Science, pages 499-513, 2006.
Note: Full version appeared in Constraints

Marko Samer, Stefan Szeider

Evolutionary Approach to Constrained Minimum Spanning Tree Problem

Evolutionary Computation and Global Optimization 2006 (Jaroslawa Arabasa), pages 331-341, 2006.

Anna Pagacz, Günther Raidl, Stanislaw Zawiślak

Fixed-Parameter Complexity of Minimum Profile Problems

Proceedings of IWPEC 2006, 2nd International Workshop on Parameterized and Exact Computation, volume 4169 of Lecture Notes in Computer Science, pages 60-71, 2006, Springer Verlag.

Gregory Gutin, Anders Yeo, Stefan Szeider

Neighborhood Searches for the Bounded Diameter Minimum Spanning Tree Problem Embedded in a VNS, EA, and ACO

Proceedings of the Genetic and Evolutionary Computation Conference – GECCO 2006 (Maarten Keijzer and others), pages 1187-1194, 2006, ACM.

Martin Gruber, Jano Van Hemert, Günther Raidl