Solving 0-1 quadratic problems with two-level parallelization of the BiqCrunch solver | IEEE Conference Publication | IEEE Xplore