Research on the Solution Space of 2-SAT and Max-2-SAT

Publisher： Edp Sciences

E-ISSN： 2271-2097|7|issue|01016-01016

ISSN： 2271-2097

Source： ITM Web of conferences, Vol.7, Iss.issue, 2016-11, pp. : 01016-01016

Access to resources Favorite

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

Generating Instances for MAX2SAT with Optimal Solutions

By Yamamoto Masaki  

Theory of Computing Systems, Vol. 39, Iss. 5, 2006-09 ,pp. : 723-742

Springer Publishing Company

Access to resources Recommend Favorite

Randomized Algorithms for 3-SAT

By Hofmeister Thomas  

Theory of Computing Systems, Vol. 40, Iss. 3, 2007-04 ,pp. : 249-262

Springer Publishing Company

Access to resources Recommend Favorite

A weight-balanced branching rule for SAT

By Wang J.  

Mathematical and Computer Modelling, Vol. 38, Iss. 5, 2003-09 ,pp. : 595-609

Elsevier

Access to resources Recommend Favorite

Innovative solution of a 2D elastic transmission problem

By  

Applicable Analysis, Vol. 86, Iss. 4, 2007-04 ,pp. : 459-482

Taylor & Francis Ltd

Access to resources Recommend Favorite

Complete solution to the TP2 completion problem

By Johnson C.R.   Nasserasr S.  

Linear and Multilinear Algebra, Vol. 62, Iss. 10, 2014-10 ,pp. : 1403-1420

Taylor & Francis Ltd

Access to resources Recommend Favorite