Tight Bound on Johnson's Algorithm for Maximum Satisfiability

Author: Chen J.   Friesen D.K.   Zheng H.  

Publisher: Academic Press

ISSN: 0022-0000

Source: Journal of Computer and System Sciences, Vol.58, Iss.3, 1999-06, pp. : 622-640

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract