A Short Note on Some Tractable Cases of the Satisfiability Problem

By van Maaren H.  

Information and Computation, Vol. 158, Iss. 2, 2000-05 ,pp. : 125-130

Academic Press

Access to resources Recommend Favorite

Testing satisfiability

By Alon N.   Shapira A.  

Journal of Algorithms, Vol. 47, Iss. 2, 2003-07 ,pp. : 87-103

Elsevier

Access to resources Recommend Favorite

The complexity of minimal satisfiability problems

By Kirousis L.M.   Kolaitis P.G.  

Information and Computation, Vol. 187, Iss. 1, 2003-11 ,pp. : 20-39

Elsevier

Access to resources Recommend Favorite

The quadratic assignment problem with a monotone anti-Monge and a symmetric Toeplitz matrix: Easy and hard cases

By Burkard R.E.   Cela E.   Rote G.   Woeginger G.J.  

Mathematical Programming, Vol. 82, Iss. 1, 1998-06 ,pp. : 125-158

Elsevier

Access to resources Recommend Favorite

An Overview of Backtrack Search Satisfiability Algorithms

By Lynce I.  

Annals of Mathematics and Artificial Intelligence, Vol. 37, Iss. 3, 2003-03 ,pp. : 307-326

Springer Publishing Company

Access to resources Recommend Favorite