×

\(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
PDFBibTeX XMLCite