TY  - RPRT
TI  - DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL
AU  - Florian Lonsing
AU  - Uwe Egly
PY  - 2017
DO  - 10.1007/978-3-319-63046-5_23
UR  - https://arxiv.org/abs/1702.08256
ID  - 1702.08256
ER  -