Chaitin-Briggs algorithm

From dankwiki