RAILIN (Resonance Assignment by Integer Linear Programming)