New Upper Bounds for Maximum Satisfiability

Author: Niedermeier R.   Rossmanith P.  

Publisher: Academic Press

ISSN: 0196-6774

Source: Journal of Algorithms, Vol.36, Iss.1, 2000-07, pp. : 63-88

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