Joining CNF-Formulas And Base-Hypergraphs
Artikel › Journalartikel
› 2025
Zitation
Artikel
Porschen, Stefan: Joining CNF-Formulas And Base-Hypergraphs. In: International Journal of Computer Science 52, 4. (2025), S. 1282-1293.