Author： Hofmeister Thomas
Publisher： Springer Publishing Company
ISSN： 1432-4350
Source： Theory of Computing Systems, Vol.40, Iss.3, 2007-04, pp. : 249-262
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
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
A weight-balanced branching rule for SAT
By Wang J.
Mathematical and Computer Modelling, Vol. 38, Iss. 5, 2003-09 ,pp. :
Generating Instances for MAX2SAT with Optimal Solutions
Theory of Computing Systems, Vol. 39, Iss. 5, 2006-09 ,pp. :
Monotonically Overrelaxed EM Algorithms
By Yu Yaming
Journal of Computational and Graphical Statistics, Vol. 21, Iss. 2, 2012-04 ,pp. :