Search
Now showing items 1-1 of 1
An assertion concerning functionally complete algebras and NP-completeness
(2008)
In a paper published in J. ACM in 1990, Tobias Nipkow asserted that the problem of deciding whether or not an equation over a nontrivial functionally complete algebra has a solution is NP-complete. However, close examination ...