"978-1-61499-097-0" . . . "1"^^ . "121872" . "11320" . . . . . "[D61490CD7C1C]" . "2012-08-27+02:00"^^ . . . "IOS Press" . "Eager Encoding; All-Different"@en . "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."@en . "RIV/00216208:11320/12:10126385!RIV13-GA0-11320___" . "RIV/00216208:11320/12:10126385" . . . "An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors" . "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." . "2"^^ . . . "Montplellier" . "An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors"@en . "I, P(GAP103/10/1287)" . "An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors" . . . "An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors"@en . . "Surynek, Pavel" . . "1"^^ . . "Proceedings of the 20th European Conference on Artificial Intelligence" . "Montpellier, France" .