I forgot to make a release for 1.5.1, so this release includes the changelog for both versions 1.5.1 and 1.5.2.
25 03/14 M NP-Completeness 3 (NP, co-NP, NP-hard, Independent Set) [Kozen 21, 22, 23, 24] [CLR 36] 26 03/16 W NP-Completeness 4 (Independent Set and Cook's Theorem ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback