Transforming SAT into Termination of Rewriting
Work
Year: 2009
Type: article
Abstract: In this paper we propose different translations from SAT to termination of term rewriting, i.e., we translate a propositional formula φ into a generic rewrite system Rφ with the property that φ is sat... more
Institution Universität Innsbruck
Cites: 28
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold