3 ms·You really can't say too many good things about John Tromp's remarkable paper.by bediger 17y agoYou really can't say too many good things about John Tromp's remarkable paper.