Lnear CNF formulas and satisfiability

Artikel › Journalartikel › 2009

Zitation

Porschen, S.; Speckenmeyer, E.; Zhao, X.: Lnear CNF formulas and satisfiability. In: Discrete Applied Mathematics 157. (2009), S. 1046-1068.

ISSN

0166-218X

Zitieren

BibTeX / RIS

Zugehörige Veranstaltungen

  • Linear CNF formulas and satisfiability
    9th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
    Seattle, USA, 12.08.2006
    Veranstaltungsbeitrag › Vortrag › 2006