Počet záznamů: 1
A separator theorem for hypergraphs and a CSP-SAT algorithm
- 1.KOUCKÝ, M., RÖDL, V., TALEBANFARD, Navid. 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: doi: 10.46298/lmcs-17(4:17)2021.
Počet záznamů: 1