![](/img/cover-not-exists.png)
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation
Wang, Wenxi, Søndergaard, Harald, Stuckey, Peter J.Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-018-9493-1
Date:
November, 2018
File:
PDF, 2.02 MB
english, 2018