Abstract: In this paper I present a MAX2SAT algorithm based on the randomized algorithm of Papadimitriou from 1991. We also show that this algorithm finds a MAX2SAT solution (if it exists) with high probability in polynomial time.
Cristian Dumitrescu (2016);
An algorithm for MAX2SAT;
International Journal of Scientific and Research Publications (IJSRP)
Volume 6, Issue 12 (ISSN: 2250-3153)