Sciweavers

SOFSEM
2009
Springer

On Some SAT-Variants over Linear Formulas

14 years 15 days ago
On Some SAT-Variants over Linear Formulas
Informationen zum TheorieTag und Abstracts zu den Beitr¨agen finden Sie unter http://www.uni-ulm.de/in/theo/tt56.html.
Stefan Porschen, Tatjana Schmidt
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2009
Where SOFSEM
Authors Stefan Porschen, Tatjana Schmidt
Comments (0)