Restricted Poly-Time SAT-Solvable CNF's

Konferenzbeitrag › Konferenzpaper › 2014

Zitation

Porschen, Stefan, Schmidt, Tatjana: Restricted Poly-Time SAT-Solvable CNF's. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2014. Hg. von IAENG (International Association of Engineers). Hong Kong: Newswood Limited 2014, S. 191-195.

ISSN

2078-0958

ISBN

978-988-19252-5-1

Zitieren

BibTeX / RIS