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. Roč. 17, č. 4 (2021), č. článku 17. ISSN 1860-5974. E-ISSN 1860-5974
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://doi.org/10.46298/lmcs-17(4:17)2021
http://hdl.handle.net/11104/0326454
Počet záznamů: 1