{"created":"2021-03-01T07:22:00.697128+00:00","id":42499,"links":{},"metadata":{"_buckets":{"deposit":"0aa8d747-483d-4d0d-ab99-d62eceb9f54a"},"_deposit":{"created_by":188,"id":"42499","owners":[188],"pid":{"revision_id":0,"type":"depid","value":"42499"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00042499","sets":["152:1233","152:6075","3:62:5591:402"]},"author_link":["204165","204876"],"item_1644910766877":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_5_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2017-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"8","bibliographicPageEnd":"1818","bibliographicPageStart":"1807","bibliographicVolumeNumber":"E100.D","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Information and Systems","bibliographic_titleLang":"en"}]}]},"item_5_publisher_27":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会","subitem_publisher_language":"ja"},{"subitem_publisher":"Institute of Electronics, Information and Communication Engineers","subitem_publisher_language":"en"}]},"item_5_relation_11":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1587/transinf.2016EDP7487","subitem_relation_type_select":"DOI"}}]},"item_5_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"© 2017 The Institute of Electronics, Information and Communication Engineers","subitem_rights_language":"en"}]},"item_5_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0916-8532","subitem_source_identifier_type":"PISSN"}]},"item_5_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA10826272","subitem_source_identifier_type":"NCID"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"金澤, 健治","creatorNameLang":"ja"},{"creatorName":"カナザワ, ケンジ","creatorNameLang":"ja-Kana"},{"creatorName":"Kanazawa, Kenji","creatorNameLang":"en"}],"nameIdentifiers":[{},{},{}]},{"creatorNames":[{"creatorName":"丸山, 勉","creatorNameLang":"ja"},{"creatorName":"マルヤマ, ツトム","creatorNameLang":"ja-Kana"},{"creatorName":"MARUYAMA, Tsutomu","creatorNameLang":"en"}],"nameIdentifiers":[{},{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-09-06"}],"displaytype":"detail","filename":"IEICETIS_E100D-8.pdf","filesize":[{"value":"1.0 MB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/42499/files/IEICETIS_E100D-8.pdf"},"version_id":"343d8956-104d-4338-8ac3-df222b072e4a"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA","subitem_title_language":"en"}]},"item_type_id":"5","owner":"188","path":["6075","1233","402"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2017-09-06"},"publish_date":"2017-09-06","publish_status":"0","recid":"42499","relation_version_is_last":true,"title":["An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2024-02-06T00:48:59.044308+00:00"}