Revision #2902 → #3909 · back to history
addedUndecidable problems have no algorithmc264ae1bb604
addedBoolean satisfiability problem (SAT)466366d44be8
addedPolynomial-time many-one reductionffb29a11b979
addedNon-deterministic Turing machinef8f5341018e9
addedBoolean satisfiability solved to optimality in practicec1fda89221fe