TY  - RPRT
TI  - Effective problem solving using SAT solvers
AU  - Curtis Bright
AU  - Jürgen Gerhard
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2019
DO  - 10.1007/978-3-030-41258-6_15
UR  - https://arxiv.org/abs/1906.06251
ID  - 1906.06251
ER  -