In this discussion I will show how lattice reduction and branch-and-bound methods may be used in tandem to solve Frobenius instance problems. The same ideas apply to other aspects of finding Frobenius numbers, as well as other problems in integer linear programming. Much of this is not implemented under the hood in Mathematica functions FindInstance, Reduce, and Minimize.