A Bit-Vector Solver with Word-Level Propagation.

Wenxi Wang, Harald Sndergaard, Peter J. Stuckey

Browse the full CPAIOR paper archive.