Keywords :
"Tutorial","Linear programming","Digital systems","Design optimization","Power system modeling","Integer linear programming","Electronic design automation and methodology","Logic programming","Mathematical programming","Large-scale systems"