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

by B M Smith, K Stergiou, T Walsh
Venue:In Proceedings AAAI-2000 (Conference of the American Assocation for Artificial Intelligence