TY  - RPRT
TI  - CDCL-inspired Word-level Learning for Bit-vector Constraint Solving
AU  - Zakaria Chihani
AU  - François Bobot
AU  - Sébastien Bardin
PY  - 2017
UR  - https://arxiv.org/abs/1706.09229
ID  - 1706.09229
ER  -