Login / Signup

The word problem for 1LC congruences is NP-hard.

Laurent Rosaz
Published in: Theor. Comput. Sci. (2003)
Keyphrases