{"created":"2021-03-01T06:20:03.093869+00:00","id":13051,"links":{},"metadata":{"_buckets":{"deposit":"bf014908-993c-4a5c-8d7d-32e57f927e33"},"_deposit":{"id":"13051","owners":[],"pid":{"revision_id":0,"type":"depid","value":"13051"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00013051","sets":["312:313:314"]},"author_link":["41053","41054","41055","41056","41057","41058","41059","41060","41061","41062"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Solving Satisfiability of CNF Formulas with Clauses Based on Elementary Symmetric Functions","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-01-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicPageEnd":"9","bibliographicPageStart":"1","bibliographicVolumeNumber":"J93-D","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. D, 情報・システム","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"近年，高速な充足可能性判定ツール（SATソルバ）の開発が進んでいる．これらのツールでは，BCPと呼ばれる変数値の推論とそのバックトラックが実行時間の大半を占めていることが多く，その処理を効率化できればSATソルバの高速化が可能となる．本論文では，「n個の変数のうち，ちょうどk個が真」という基本対称関数に基づく節を導入することにより入力する論理式の大きさが減少することに注目し，SATソルバの効率化を目指す．実際にSATソルバでよく用いられるDPLLアルゴリズムを，基本対称関数に基づく節を導入したCNFを扱えるよう拡張し，その有効性を実験により確かめた．","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://www.ieice.org/jpn/trans_online/index.html"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/14972"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.ieice.org/jpn/trans_online/index.html","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright (C) 2010 IEICE","subitem_rights_language":"en"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1880-4535","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"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"}],"nameIdentifiers":[{"nameIdentifier":"41053","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"41054","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"41055","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"41056","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"41057","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"UMANO, Yohei","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41058","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41059","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41060","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41061","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41062","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-20"}],"displaytype":"detail","filename":"399.pdf","filesize":[{"value":"389.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"399.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/13051/files/399.pdf"},"version_id":"14de23c0-fcde-4998-a255-c8e7140e6c1c"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"SATソルバ","subitem_subject_scheme":"Other"},{"subitem_subject":"充足可能性","subitem_subject_scheme":"Other"},{"subitem_subject":"基本対称関数","subitem_subject_scheme":"Other"},{"subitem_subject":"高速化","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"基本対称関数に基づく節をもつCNF論理式の充足可能性判定","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"基本対称関数に基づく節をもつCNF論理式の充足可能性判定","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2011-06-29"},"publish_date":"2011-06-29","publish_status":"0","recid":"13051","relation_version_is_last":true,"title":["基本対称関数に基づく節をもつCNF論理式の充足可能性判定"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T03:59:56.705294+00:00"}