TY  - RPRT
TI  - QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties
AU  - Florian Lonsing
AU  - Uwe Egly
PY  - 2019
DO  - 10.1007/978-3-030-24258-9_14
UR  - https://arxiv.org/abs/1904.12927
ID  - 1904.12927
ER  -