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