Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs / by Heinrich Riebler