Ground equality reasoning
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Ground equality reasoning
automated-reasoning
- Congruence closureUnion-find over term DAGsstandardautomated-reasoning
- Ackermann reductionFunction-application flatteningspecialistautomated-reasoning