Search results for: Hartwig Bosse
Journal of Symbolic Computation > 2013 > 56 > Complete > 69-79
Theoretical Computer Science > 2010 > 411 > 1 > 164-173
Mathematical Programming > 2005 > 103 > 1 > 35-44
Journal of Symbolic Computation > 2013 > 56 > Complete > 69-79
Theoretical Computer Science > 2010 > 411 > 1 > 164-173
Mathematical Programming > 2005 > 103 > 1 > 35-44