Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi. Efficient LTL compilation for SAT-based model checking. In 2005 International Conference on Computer-Aided Design (ICCAD 05), November 6-10, 2005, San Jose, CA, USA. pages 877-884, IEEE Computer Society, 2005.
Abstract is missing.