1

Variable Neighborhood Search for the Bounded Diameter Minimum Spanning Tree Problem

Proceedings of the 18th Mini Euro Conference on Variable Neighborhood Search (Pierre Hansen and Nenad Mladenović and Jos'e A. Moreno P'erez and Bel'en Meli'an Batista and J. Marcos Moreno-Vega), 2005.

Martin Gruber, Günther Raidl

An Evolutionary Algorithm for Column Generation in Integer Programming: an Effective Approach for 2D Bin Packing

Parallel Problem Solving from Nature – PPSN~VIII (X. Yao et. al), volume 3242 of LNCS, pages 642-651, 2004, Springer.

Jakob Puchinger, Günther Raidl

An Evolutionary Algorithm for the Maximum Weight Trace Formulation of the Multiple Sequence Alignment Problem

Parallel Problem Solving from Nature – PPSN~VIII (Xin Yao and others), volume 3242 of LNCS, pages 302-311, 2004, Springer-Verlag.

Gabriele Koller, Günther Raidl

An Improved Hybrid Genetic Algorithm for the Generalized Assignment Problem

Proceedings of the 2003 ACM Symposium on Applied Computing (H. M. Haddadd and others), pages 990-995, 2004, ACM Press.

Günther Raidl, H. Feltl

Combining a Memetic Algorithm with Integer Programming to Solve the Prize-Collecting Steiner Tree Problem

Genetic and Evolutionary Computation – GECCO 2004 (K.~ Deb and others), volume 3102 of LNCS, pages 1304-1315, 2004, Springer.

G.W.~Klau, I.~Ljubić, A.~Moser, P.~Mutzel, P.~Neuner, U.~Pferschy, Günther Raidl, R.~Weiskircher

Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004.

Shlomo Hoory, Stefan Szeider

Detecting Backdoor Sets with Respect to Horn and Binary Clauses

Proceedings of SAT 2004 (Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May, 2004, Vancouver, BC, Canada), pages 96-103, 2004.

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider

On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey and Michael Fellows and Frank Dehne), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer.

Michael R. Fellows, Stefan Szeider, Graham Wrightson

On fixed-parameter tractable parameterizations of SAT

Theory and Applications of Satisfiability, 6th International Conference, SAT 2003, Selected and Revised Papers (Enrico Giunchiglia and Armando Tacchella), volume 2919 of Lecture Notes in Computer Science, pages 188-202, 2004, Springer Verlag.

Solving a Real-World Glass Cutting Problem

Evolutionary Computation in Combinatorial Optimization – EvoCOP~2004 (Jens Gottlieb and Günther R. Raidl), volume 3004 of LNCS, pages 162-173, 2004, Springer.

Jakob Puchinger, Günther Raidl, Gabriele Koller