Integer Programming Models and Analysis for a Multilevel Passenger Screening Problem | AMiner