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

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