An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors

Abstrakt

1A novel eager encoding of the ALLDIFFERENT constraint over bit-vectors is presented in this short paper. It is based on 1-to-1 mapping of the input bit-vectors to a linearly ordered set of auxiliary bit-vectors.

Klíčová slova

• All-Different
• Eager Encoding