On linear CNF formulas

Konferenzbeitrag › Konferenzpaper › 2006

Zitation

Porschen, S.; Speckenmeyer, E.: On linear CNF formulas. In: Proceedings SAT 2006. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2006( LNCS, Vol. 4121), S. 212-225.

ISSN

0302-9743

ISBN

978-3-540-37206-7

Zitieren

BibTeX / RIS