Constraint solvers (or MILP solvers) while not asymptotically optimal are often as fast or faster than other methods.