Fast congruence closure and extensions
- 1 April 2007
- journal article
- Published by Elsevier in Information and Computation
- Vol. 205 (4) , 557-580
- https://doi.org/10.1016/j.ic.2006.08.009
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- Automatic verification of pipelined microprocessor controlPublished by Springer Nature ,1994
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- An algorithm for reasoning about equalityCommunications of the ACM, 1978
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960