@article{oai:nagoya.repo.nii.ac.jp:00031273, author = {Inagaki, Yasuyoshi and Sugino, Kazue}, issue = {2}, journal = {Memoirs of the Faculty of Engineering, Nagoya University}, month = {Mar}, pages = {173--184}, title = {An application of Pseudo-Boolean programming to the state assignment of sequential circuits with high reliability}, volume = {17}, year = {1966} }