Kriging-Informed Coverage Sampling: an Integer Programming Approach to Optimizing Information Collection | AMiner