TY  - RPRT
TI  - Fast LTL Satisfiability Checking by SAT Solvers
AU  - Jianwen Li
AU  - Geguang Pu
AU  - Lijun Zhang
AU  - Moshe Y. Vardi
AU  - Jifeng He
PY  - 2014
UR  - https://arxiv.org/abs/1401.5677
ID  - 1401.5677
ER  -