Exact 3-Satisfiability Is Decidable in Time O(2^0.16254n)

By Porschen Stefan   Randerath Bert   Speckenmeyer Ewald  

Annals of Mathematics and Artificial Intelligence, Vol. 43, Iss. 1-4, 2005-01 ,pp. : 173-193

Springer Publishing Company

Access to resources Recommend Favorite

An upper bound O(2^0.16254n) for exact 3-satisfiability: a simpler proof

By Kulikov A.  

Journal of Mathematical Sciences, Vol. 126, Iss. 3, 2005-03 ,pp. : 1195-1199

Springer Publishing Company

Access to resources Recommend Favorite

The property O _n for finite seminormal functors

By Ivanov A.   Matyushichev K.  

Siberian Mathematical Journal, Vol. 47, Iss. 2, 2006-03 ,pp. : 239-244

Springer Publishing Company

Access to resources Recommend Favorite

Capelli Identities for the dual pair ( O M , Sp N )

By Itoh Minoru  

Mathematische Zeitschrift, Vol. 246, Iss. 1-2, 2004-01 ,pp. : 125-154

Springer Publishing Company

Access to resources Recommend Favorite

An Simple Elementary Proof for the Inequality d _n < 3 ⁿ

By Feng Bei-ye  

Acta Mathematicae Applicatae Sinica, Vol. 21, Iss. 3, 2005-08 ,pp. : 455-458

Springer Publishing Company

Access to resources Recommend Favorite