×

zbMATH — the first resource for mathematics

\(k\)-sat on groups and undecidability. (English) Zbl 1028.68068
STOC ’98. Proceedings of the 30th annual ACM symposium on theory of computing, Dallas, TX, USA, May 23-26, 1998. New York, NY: ACM, Association for Computing Machinery. 572-576 (1998).

MSC:
68Q25 Analysis of algorithms and problem complexity
PDF BibTeX XML Cite