2000 character limit reached
KBCV 2.0 - Automatic Completion Experiments (1505.01338v1)
Published 6 May 2015 in cs.LO
Abstract: This paper describes the automatic mode of the new version of the Knuth-Bendix Completion Visualizer. The internally used data structures have been overhauled and the performance was dramatically improved by introducing caching, parallelization, and term- indexing in the computation of critical pairs and simplification. The new version is much faster and can complete three more systems.
Sponsored by Paperpile, the PDF & BibTeX manager trusted by top AI labs.
Get 30 days freePaper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.