German

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

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

English

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

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