@article{oai:tsukuba.repo.nii.ac.jp:00042499,
 author = {金澤, 健治 and Kanazawa, Kenji and 丸山, 勉 and MARUYAMA, Tsutomu},
 issue = {8},
 journal = {IEICE Transactions on Information and Systems},
 month = {Aug},
 pages = {1807--1818},
 title = {An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA},
 volume = {E100.D},
 year = {2017},
 yomi = {カナザワ, ケンジ and マルヤマ, ツトム}
}