Items where Author or Editor is "Gärtner, Mattias"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Paper
Number of items: 2.

Paper

Porschen, Stefan and Speckenmeyer, Ewald and Randerath, Bert and Gärtner, Mattias (2004) Tabu-Sat and Walksat for Level Graph Formulas.
Technical Report , 20 p.

Gärtner, Mattias and Lange, Thomas and Rühmkorf, Jens (1999) The fully automatic installation of a Linux cluster.
Technical Report , 32 p.

This list was generated on Tue Oct 23 03:06:55 2018 CEST.