Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems.

Barbara M. Smith, Kostas Stergiou, Toby Walsh

Browse the full AAAI paper archive.