Automatic algorithm selection for Pseudo-Boolean optimization with given computational time limits uri icon