Hi Bo,
you will probably not find an exact description of all the heuristics that
commercial MIP solvers implement, because this is one of the important trade
secrets.
A few of them are explicitly mentioned in the Gurobi documentation, and you can
control them with parameter settings:
- Minimum Relaxation Heuristic (MinRelNodes)
- Feasibility Pump Heuristic (PumpPasses)
- RINS Heuristic (RINS)
- Zero Objective Heuristic (ZeroObjNodes)
There is quite a bit of literature on MIP heuristics, and most of Gurobi's
heuristics are along the lines of the ones you can find in the literature. For
example, you could take a look at the master's and PhD thesis of Timo Berthold:
https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1029
https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/5448
Regards,
Tobias