| 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 | |
| 1 | Stefan Porschen | [1] [2] |
| 2 | Ewald Speckenmeyer | [2] |