SAT Techniques for Lexicographic Path Orders
Symbolic Computation
2007-05-23 v1
Abstract
This seminar report is concerned with expressing LPO-termination of term rewrite systems as a satisfiability problem in propositional logic. After relevant algorithms are explained, experimental results are reported.
Keywords
Cite
@article{arxiv.cs/0605021,
title = {SAT Techniques for Lexicographic Path Orders},
author = {Harald Zankl},
journal= {arXiv preprint arXiv:cs/0605021},
year = {2007}
}
Comments
29 pages, Seminar Report