On some SAT variants over linear formulas

Konferenzbeitrag › Konferenzpaper › 2009

Zitation

Porschen, S.; Schmidt, T.: On some SAT variants over linear formulas. In: Proceedings SOFSEM 2009. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2009( LNCS, Vol. 5404), S. 449-460.

ISSN

0302-9743

ISBN

978-3-540-95980-1

Zitieren

BibTeX / RIS