Solving quadratic integer programming (QIP) problems on optimization solver machines Grant US-11693916-B2 United States of America 04 Jul 2023