Počet záznamů: 1
A separator theorem for hypergraphs and a CSP-SAT algorithm
- 1.Koucký, M., Rödl, V., Talebanfard, N. A separator theorem for hypergraphs and a CSP-SAT algorithm. Logical Methods in Computer Science. 2021, 17(4), 17. ISSN 1860-5974. E-ISSN 1860-5974. Dostupné z: https://doi.org/10.46298/lmcs-17(4:17)2021.
Počet záznamů: 1