Using auxiliary variables and implied constraints to model non-binary problems (2000)

by B Smith, K Stergiou, T Walsh
Venue:in Proceedings of the 16th National Conference on AI