CDCL-inspired Word-level Learning for Bit-vector Constraint Solving.

Zakaria Chihani François Bobot Sébastien Bardin

Published in: CoRR (2017)

Keyphrases

constraint solving
bit vector
reinforcement learning
learning algorithm
word level
special case