Tatjana Schmidt

According to our database, Tatjana Schmidt authored at least 6 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Making Use of Foresight to Capture the Co-Evolution of Security Technologies and Societal Development.

Lars Gerhold, Tatjana Schmidt, Edda Brandes

Proceedings of the 2019 IEEE International Symposium on Technology and Society, 2019

2014

XSAT and NAE-SAT of linear CNF classes.

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer, Andreas Wotzlaw

Discret. Appl. Math., 2014

2010

Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas.

Tatjana Schmidt

PhD thesis, 2010

Complexity Results for Linear XSAT-Problems.

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

On Some SAT-Variants over Linear Formulas.

Stefan Porschen, Tatjana Schmidt

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On Some Aspects of Mixed Horn Formulas.

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer

Proceedings of the Theory and Applications of Satisfiability Testing, 2009