The following publications are possibly variants of this publication:
- LTL Satisfiability CheckingKristin Y. Rozier, Moshe Y. Vardi. spin 2007: 149-167 [doi]
- LTL satisfiability checkingKristin Y. Rozier, Moshe Y. Vardi. STTT, 12(2):123-137, 2010. [doi]
- Satisfiability Checking for Mission-Time LTLJianwen Li, Moshe Y. Vardi, Kristin Y. Rozier. cav 2019: 3-22 [doi]
- A Multi-encoding Approach for LTL Symbolic Satisfiability CheckingKristin Y. Rozier, Moshe Y. Vardi. FM 2011: 417-431 [doi]
- Accelerating LTL satisfiability checking by SAT solversJianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He. logcom, 28(6):1011-1030, 2018. [doi]
- Satisfiability checking for Mission-time LTL (MLTL)Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier. iandc, 289(Part):104923, 2022. [doi]