2 3maxsatandmaxcutthe rstoftheproblemsismaxsat input asetofm published presentations and documents on DocSlides.