2015

Domschke, Pia ; Groß, Martin ; Hante, Falk M. ; Hiller, Benjamin ; Schewe, Lars ; Schmidt, Martin (2015)
Mathematische Modellierung, Simulation und Optimierung von Gastransportnetzwerken.
In: gwf - Gas+Energie, 156 (11)
Article

2007

Schewe, Lars (2007)
Satisfiability problems in discrete geometry.
TU Darmstadt
Ph.D. Thesis

2006

Schewe, Lars (2006)
Generation of Oriented Matroids Using Satisfiability Solvers.
Conference or Workshop Item

2005

Bokowski, Jürgen ; Schewe, Lars (2005)
There are no realizable 15_4- and 16_4-configurations.
In: Revue roumaine de mathématiques pures et appliquées, 50
Article