Documents Related by Co-Citation

105 Variations on the common subexpression problem – P J Downey, R Sethi, R E Tarjan - 1980
391 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
158 Deciding combinations of theories – R E Shostak - 1984
52 An algorithm for reasoning about equality – Robert E Shostak - 1977
106 Techniques for program verification – G Nelson - 1981
259 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
352 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
58 Complexity of Finitely Presented Algebras – D Kozen
37 Ontic: A knowledge representation system for mathematics – David McAllester - 1988
51 Deciding Equality Formulas by Small Domains Instantiations – Amir Pnueli, Yoav Rodeh, Ofer Shtrichman, Michael Siegel - 1999
32 Shostak's Congruence Closure as Completion – Deepak Kapur - 1997
151 Validity Checking for Combinations of Theories with Equality – Clark Barrett, David Dill, Jeremy Levitt - 1996
59 BDD Based Procedures for a Theory of Equality with Uninterpreted Functions – Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
147 Solvable Cases of the Decision Problem – W Ackermann - 1954
8495 Introduction to Algorithms – T Cormen, C Leiserson, R Rivest - 1990
23 Congruence Closure with Integer Offsets – Robert Nieuwenhuis, Albert Oliveras - 2003
89 Checking satisfiability of first-order formulas by incremental translation to SAT – C Barrett, D L Dill, A Stump - 2002
35 Lemmas on Demand for Satisfiability Solvers – Leonardo De Moura, Harald RueƟ - 2002
1110 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001