Resolution-based lower bounds in MaxSAT

Author： Li Chu  

Publisher： Springer Publishing Company

ISSN： 1383-7133

Source： Constraints, Vol.15, Iss.4, 2010-10, pp. : 456-484

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

Related content

Exact Max-SAT solvers for over-constrained problems

By Argelich Josep   Manyà Felip  

Journal of Heuristics, Vol. 12, Iss. 4-5, 2006-09 ,pp. : 375-392

Springer Publishing Company

Access to resources Recommend Favorite

Lower bounds for random 3-SAT via differential equations

By Achlioptas D.  

Theoretical Computer Science, Vol. 265, Iss. 1, 2001-08 ,pp. : 159-185

Elsevier

Access to resources Recommend Favorite

Resolution-based approach to compatibility analysis of interacting automata

By Chebotarev A.N.   Morokhovets M.K.  

Theoretical Computer Science, Vol. 194, Iss. 1, 1998-03 ,pp. : 183-205

Elsevier

Access to resources Recommend Favorite

Resolution lower bounds for the weak functional pigeonhole principle

By Razborov A.A.  

Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. : 233-243

Elsevier

Access to resources Recommend Favorite

Lower and Upper Bounds for Misclassification Probability Based on Renyi's Information

By  

Journal of VLSI Signal Processing, Vol. 37, Iss. 2-3, 2004-06 ,pp. : 305-317

Springer Publishing Company

Access to resources Recommend Favorite