Keyword:implied constraint

Papers
Machine-Assisted Reformulation for MiniZinc Huu-Phuc Vo EasyChair Preprint no. 1731