Počet záznamů: 1
Random resolution refutations
- 1.Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328. E-ISSN 1420-8954
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.850, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00037-019-00182-7
http://hdl.handle.net/11104/0296173
Počet záznamů: 1