Documents Related by Co-Citation

107 Variations on the common subexpressions problem – P Downey, R Sethi, R Tarjan - 1980
396 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
161 Deciding combination of theories – R Shostak - 1984
52 An algorithm for reasoning about equality – R Shostak - 1978
106 Techniques for program verification – G Nelson - 1981
260 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
357 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
38 Ontic: A knowledge representation system for mathematics – David McAllester - 1988
58 Complexity of Finitely Presented Algebras – D Kozen
52 Deciding Equality Formulas by Small Domains Instantiations – Amir Pnueli, Yoav Rodeh, Ofer Shtrichman, Michael Siegel - 1999
33 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
148 Solvable cases of the decision problem – W Ackermann - 1954
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
65 A Pratical Decision Procedure for Arithmetic with Function Symbols – R Shostak - 1979
35 Lemmas on Demand for Satisfiability Solvers – Leonardo De Moura, Harald RueƟ - 2002
23 Congruence Closure with Integer Offsets – Robert Nieuwenhuis, Albert Oliveras - 2003
78 A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions – G Audemard , P Bertoli , A Cimatti , A Kornilowicz , R Sebastiani - 2002