Name Card

Full name Familienname, Vorname
Wagner, Dorothea
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Seidl, Martina A Solver for Quantified Boolean Formulas in Negation Normal FormKonferenzbeitrag Inproceedings2008
2Yildiz, Canan ; Mutzel, Petra ; Barth, Wilhelm A new approximation algorithm for bend minimization in the kandinsky model.Konferenzbeitrag Inproceedings 2007