Dagstuhl Seminar Proceedings: Exact Algorithms and Fixed-Parameter Tractability 2005