Tatjana Schmidt

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 1

Top Topics

Multiresolution

Stochastic Local Search Algorithms

Top Venues

Discret. Appl. Math.

University of Cologne (PHD)

Education History

University of Cologne

PHD

Publications

Lars Gerhold, Tatjana Schmidt, Edda Brandes
Making Use of Foresight to Capture the Co-Evolution of Security Technologies and Societal Development. ISTAS (2019)
Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer, Andreas Wotzlaw
XSAT and NAE-SAT of linear CNF classes. Discret. Appl. Math. 167 (2014)
Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer
Complexity Results for Linear XSAT-Problems. SAT (2010)
Stefan Porschen, Tatjana Schmidt
On Some SAT-Variants over Linear Formulas. SOFSEM (2009)
Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer
On Some Aspects of Mixed Horn Formulas. SAT (2009)