TY  - RPRT
TI  - Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting
AU  - Jingchao Chen
PY  - 2018
UR  - https://arxiv.org/abs/1611.04838
ID  - 1611.04838
ER  -