Author： Wang J.
Publisher： Elsevier
ISSN： 0895-7177
Source： Mathematical and Computer Modelling, Vol.38, Iss.5, 2003-09, pp. : 595-609
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
Randomized Algorithms for 3-SAT
Theory of Computing Systems, Vol. 40, Iss. 3, 2007-04 ,pp. :
The Ramanujan Journal, Vol. 23, Iss. 1-3, 2010-12 ,pp. :
Research on the Solution Space of 2-SAT and Max-2-SAT
ITM Web of conferences, Vol. 7, Iss. issue, 2016-11 ,pp. :
Access to resources
Foliations with One-Sided Branching
By Calegari D.
Geometriae Dedicata, Vol. 96, Iss. 1, 2003-02 ,pp. :