On Isotropy Groups of CNF Formulas

Konferenzbeitrag › Konferenzpaper › 2019

Zitation

Porschen, Stefan: On Isotropy Groups of CNF Formulas. In: Lecture Notes in Engineering and Computer Science, Proceedings WCE 2019. Hg. von IAENG (International Association of Engineers). Hong Kong: 2019, S. 84-89.

ISSN

2078-0958

ISBN

978-988-14048-6-2

Zitieren

BibTeX / RIS