Number of the records: 1
Random resolution refutations
- 1.PUDLÁK, Pavel, THAPEN, Neil. Random resolution refutations. Computational Complexity. 2019, 28(2), 185-239. ISSN 1016-3328. E-ISSN 1420-8954. Available: doi: 10.1007/s00037-019-00182-7.
Number of the records: 1