Fast Decision Procedures Based on Congruence Closure
Work
Year: 1980
Type: article
Abstract: The notion of the congruence closure of a relation on a graph is defined and several algorithms for computing it are surveyed. A simple proof is given that the congruence closure algorithm provides a ... more
Source: Journal of the ACM
Authors Greg Nelson, Derek C. Oppen
Institution Stanford University
Cites: 6
Cited by: 502
Related to: 10
FWCI: 3.593
Citation percentile (by year/subfield): 99.35
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze