K-sat on groups and undecidability

• Authors:

• Michael H. Freedman

• Affiliations:

• Microsoft Corp., 9N-2284, I Microsoft Way, Redmond, WA

• Venue:
• STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
• Year:
• 1998