A large coefficient used in MILP formulations to enforce logical constraints; larger values make the relaxation weaker and solving slower.