An Efficient State Assignment Technique using Least Commitment and Constraint Propagation Techniques | IEEE Conference Publication | IEEE Xplore