Documents Related by Co-Citation

400 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
107 Variations on the common subexpression problem – P J DOWNEY, R SETm, R TARJAN - 1980
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960
1143 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
4064 Computer Architecture: A Quantitative Approach, 4th Edition – J L Hennessy, D Patterson - 2006
541 A machine program for theorem-proving – Martin Davis, George Logemann, Dondald Loveland - 1962
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
494 Simple word problems in universal algebras – D E Knuth, P Bendix - 1970