Keyword:reformulations

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