Daniel Sheridan. Comparing SAT Encodings for Model Checking. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2239 of Lecture Notes in Computer Science, pages 784, Springer, 2001. [doi]
Abstract is missing.