Maximal Satisfiable CNF Formulas

Konferenzbeitrag › Konferenzpaper › 2012

Zitation

Porschen, Stefan: Maximal Satisfiable CNF Formulas. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2012. Hg. von IAENG (International Association of Engineers). Hong Kong: Newswood Limited 2012, S. 240-245.

ISSN

2078-0958

ISBN

978-988-19251-1-4

Zitieren

BibTeX / RIS