Tatjana Schmidt

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer: On Some Aspects of Mixed Horn Formulas. SAT 2009: 86-100

1 Stefan Porschen, Tatjana Schmidt: On Some SAT-Variants over Linear Formulas. SOFSEM 2009: 449-460

	2009
2		Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer: On Some Aspects of Mixed Horn Formulas. SAT 2009: 86-100
1		Stefan Porschen, Tatjana Schmidt: On Some SAT-Variants over Linear Formulas. SOFSEM 2009: 449-460

Coauthor Index