Documents Related by Co-Citation

977 Isabelle/HOL - A Proof Assistant for Higher-Order Logic – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
900 Security policies and security models – J A Goguen, J Meseguer - 1982
3928 Communicating Sequential Processes – C. A. R. Hoare - 2004
830 Data structures and algorithms – A V Aho, J E Hopcroft, J D Ullman - 1987
1202 A method for the construction of minimum-redundancy codes – D Huffman - 1952
890 Introduction to Algorithms, second edition – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
624 An Extensible SAT-Solver – N Eén, N Sörensson - 2003
951 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
1294 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
652 A machine program for theoremproving – M DAVIS, G LOGEMANN, D LOVELAND - 1962