We present a solver for Mixed Integer Programs (MIP) developed for the M...
The many-to-one stable matching problem provides the fundamental abstrac...
This paper reports on the first international competition on AI for the
...
The college admission problem plays a fundamental role in several real-w...