TY  - RPRT
TI  - Polsat: A Portfolio LTL Satisfiability Solver
AU  - Jianwen Li
AU  - Geguang Pu
AU  - Lijun Zhang
AU  - Yinbo Yao
AU  - Moshe Y. Vardi
AU  - Jifeng he
PY  - 2013
UR  - https://arxiv.org/abs/1311.1602
ID  - 1311.1602
ER  -