Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani. Improving the Encoding of LTL Model Checking into SAT. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 196-207, Springer, 2002. [doi]
Abstract is missing.