Interactive Metro Map Editing
Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming