We show the NP-completeness of the existential theory of term algebras with the Knuth-Bendix order by giving a nondeterministic polynomial-time algorithm for solving Knuth-Bendix ordering constraints. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Korovin, K., & Voronkov, A. (2001). Knuth-bendix constraint solving is NP-complete. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2076 LNCS, pp. 979–992). Springer Verlag. https://doi.org/10.1007/3-540-48224-5_79
Mendeley helps you to discover research relevant for your work.