Lettmann, Theodor

1 publications

ALT 1996 Learning a Representation for Optimizable Formulas Hans Kleine Büning, Theodor Lettmann