On Some SAT-Variants over Linear Formulas.

Stefan Porschen, Tatjana Schmidt

Browse the full SOFSEM paper archive.