A CNF class generalizing exact-linear formulas

Konferenzbeitrag › Konferenzpaper › 2008

Zitation

Porschen, S.; Speckenmeyer, E.: A CNF class generalizing exact-linear formulas. In: Proceedings SAT 2008. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2008( 4996), S. 231-245.

ISSN

0302-9743

ISBN

978-3-540-79718-0

Zitieren

BibTeX / RIS

Zugehörige Veranstaltungen

  • A CNF class generalizing exact-linear formulas
    11th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
    Guangzhou, China, 12.05.2008
    Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2008