Solution of Multiple-Choice Knapsack Problem Encountered in High-Level Synthesis of VLSI Circuits - DeLeone, Renato; Jain, Rajiv; Straus, Kenneth (University of Wisconsin-Madison Department of Computer Sciences, 1990)