Exact 3-Satisfiability is decidable in time O(2^{0.16254n})

Artikel › Journalartikel › 2005

Zitation

Porschen, S.; Randerath, B.; Speckenmeyer, E.: Exact 3-Satisfiability is decidable in time O(2^{0.16254n}). In: Annals of Mathematics and Artificial Intelligence 43. (2005), S. 173-193.

ISSN

1012-2443

Zitieren

BibTeX / RIS