Proof — NP-completeness column
Statement
Garey–Johnson; Computers and Intractability; algorithm design. Proved in ZFC.
Source
Donald E. Knuth Prize 2010. Garey–Johnson; Computers and Intractability; algorithm design. Proved in ZFC.
Domains
computer-science