Automated Proofs of Upper Bounds for NP-hard Problems
Upper bounds for SAT
Upper bounds for MAXSAT
Upper bounds for (n,3)-MAXSAT
Upper bounds for MAX-2-SAT
Source
Framework description
Implementation details
Back to the
homepage of Alexander S. Kulikov
.