{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:22:51Z","timestamp":1761578571297},"reference-count":16,"publisher":"International Academy Publishing (IAP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.8.6.1406-1410","type":"journal-article","created":{"date-parts":[[2013,5,17]],"date-time":"2013-05-17T21:45:33Z","timestamp":1368827133000},"source":"Crossref","is-referenced-by-count":9,"title":["State Assignment for Finite State Machine Synthesis"],"prefix":"10.17706","volume":"8","author":[{"given":"Meng","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2013,6,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1088\/1674-4926\/32\/2\/025007"},{"key":"ref2","first-page":"73","article-title":"Searching the best polarity for low power based on WAGA","volume":"20","author":"Wang","year":"2008","unstructured":"[3] P. J. Wang, J. G. Lu, X. Y. Zeng, \"Searching the best polarity for low power based on WAGA,\" Journal of CAD & Computer Graphics, vol. 20, pp. 73-78, 2008.","journal-title":"Journal of CAD & Computer Graphics"},{"key":"ref3","volume-title":"Synthesis of FSMs","author":"Villa","year":"1997","unstructured":"[4] T. Villa, T. Kam, R. Brayton, and A. Sangiovanni-Vincentelli, Synthesis of FSMs: Logic Optimisation Kluwer Academic Publishers, 1997."},{"key":"ref4","volume-title":"Adaptation in Natural and Artificial Systems","author":"Holland","year":"1975","unstructured":"[5] J. H. Holland, Adaptation in Natural and Artificial Systems, University of Michigan Press, 1975."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19951885"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxh099"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.08.004"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2006.06.001"},{"key":"ref9","first-page":"710","article-title":"Solving the state assignment problem using stochastic search aided with simulated annealing","volume":"2","author":"Aly","year":"2009","unstructured":"[13] W. M. Aly, \"Solving the state assignment problem using stochastic search aided with simulated annealing,\" America J. Eng. Appl. Sci., vol. 2, pp. 710-714, 2009.","journal-title":"America J Eng Appl Sci"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1964.263726"},{"key":"ref11","first-page":"227","article-title":"2-Stage Simulated Annealing with Crossover Operator for 3D-Packing Volume Minimization","volume-title":"Proceedings of the 17th Workshop on Synthesis And System Integration of Mixed Information Technologies","author":"Sheng","year":"2012","unstructured":"[16] Y. Q. Sheng, A. Takahashi, S. Ueno, \"2-Stage Simulated Annealing with Crossover Operator for 3D-Packing Volume Minimization,\" Proceedings of the 17th Workshop on Synthesis And System Integration of Mixed Information Technologies, pp. 227-232, 2012."},{"key":"ref12","first-page":"551","article-title":"A simulated annealing algorithm for single container loading problem","volume-title":"Proceedings of the 9th Intl Conf on Service Systems and Service Management","author":"Wang","year":"2012","unstructured":"[17] H. T. Wang; Z. J. Wang; J. Luo, \"A simulated annealing algorithm for single container loading problem,\" Proceedings of the 9th Intl. Conf. on Service Systems and Service Management, pp. 551-556, 2012."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1049\/el:19951201"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.59068"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1049\/el:19940422"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/el:19961547"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:13:47Z","timestamp":1442315627000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/8642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,1]]},"references-count":16,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2013,6,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.8.6.1406-1410","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,6,1]]}}}