Evaluation of Length-Lex Set Variables

  title={Evaluation of Length-Lex Set Variables},
  author={Justin Yip and Pascal Van Hentenryck},
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier work and two novel technical contributions: a generic filtering algorithm which automatically pushes ordering constraints into symmetric binary constraints with only a logarithmic overhead and an adaptation of symmetry-breaking constraints from 0/1 matrices to the length-lex ordering. The experimental results indicate… CONTINUE READING

Similar Papers

Loading similar papers…