TY  - RPRT
TI  - Automated Benchmarking of Incremental SAT and QBF Solvers
AU  - Uwe Egly
AU  - Florian Lonsing
AU  - Johannes Oetsch
PY  - 2015
DO  - 10.1007/978-3-662-48899-7_13
UR  - https://arxiv.org/abs/1506.08563
ID  - 1506.08563
ER  -