SAT-Solving Of Certain Graph-Based CNF's

Konferenzbeitrag › Konferenzpaper › 2013

Zitation

Porschen, Stefan; Schmidt, Tatjana: SAT-Solving Of Certain Graph-Based CNF's. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2013. Hg. von IAENG (International Association of Engineers). Hong Kong: Newswood Limited 2013, S. 251-256.

ISSN

2078-0958

ISBN

978-988-19251-8-3

Zitieren

BibTeX / RIS