Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver.

Armin Biere, Robert Brummayer

Browse the full FMCAD paper archive.