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.
Reference this Research Paper (copy & paste below code):
Cristian Dumitrescu (2018); An algorithm for MAX2SAT;
Int J Sci Res Publ 6(12) (ISSN: 2250-3153). http://www.ijsrp.org/research-paper-1216.php?rp=P606089
