Base Hypergraphs and Orbits of CNF Formulas

Konferenzbeitrag › Konferenzpaper › 2018

Zitation

Porschen, Stefan: Base Hypergraphs and Orbits of CNF Formulas. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2018. Hg. von IAENG (International Association of Engineers). Hong Kong: Newswood 2018, S. 106-111.

ISSN

2078-0958

ISBN

978-988-14047-8-7

Zitieren

BibTeX / RIS