Integer Linear Programming: A Study in Computational Efficiency | Synapse