{"product_id":"ieej-rc13612-014","title":"3-SAT Using Island-based Genetic Algorithm","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e論文誌(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【C】電子・情報・システム部門\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2016\/12\/01\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003e3-SAT Using Island-based Genetic Algorithm\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003eSalmah Mousbah Zeed Mohammed (School of Computer Sciences, Universiti Sains Malaysia), Ahamad Tajudin Khader (School of Computer Sciences, Universiti Sains Malaysia), Mohammed Azmi Al-Betar (School of Computer Sciences, Universiti Sains Malaysia)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eSalmah Mousbah Zeed Mohammed (School of Computer Sciences, Universiti Sains Malaysia), Ahamad Tajudin Khader (School of Computer Sciences, Universiti Sains Malaysia), Mohammed Azmi Al-Betar (School of Computer Sciences, Universiti Sains Malaysia)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003eIsland model concept，Genetic algorithm，3-SAT problem\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(英語): \u003c\/strong\u003eSAT problem, also known as a three conjunctive normal form (3-CNF), is an expression where every clause consists of exactly three literals but with the unrestricted number of literals and clauses. The 3-SAT problem is known to be an NP-hard and very difficult to solve. Where to solve the 3-SAT is to find an assignment of true or false to each of the literals in the clauses such that 3-SAT expression is evaluated to true. This study implemented the island model genetic algorithm (Island-based GA) to solve the 3-SAT problem. Hence, the solution involves the novel use of Island-based GA to improve the performance of solving 3-SAT problem. The benchmark SAT problems of four suits (URSAT1, URSAT2, URSAT3, and URSAT4) in SATLIB were used to test the performance of the Island-based GA and were compared with MAEA-SAT and Standard GA (SGA). The Island-based GA obtained good results and performance in solving large-scale SAT problems.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e本誌: \u003c\/strong\u003e\u003ca href=\"\/products\/ieej-rc13612\"\u003e電気学会論文誌C（電子・情報・システム部門誌） Vol.136 No.12 （2016） 特集Ⅰ：電気・電子・情報関係学会東海支部連合大会　特集Ⅱ：国際会議ACIS 2014\/2015\u003c\/a\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e本誌掲載ページ: \u003c\/strong\u003e1694-1698 p\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e論文／英語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e電子版へのリンク: \u003c\/strong\u003e\u003ca target=\"_blank\" href=\"https:\/\/www.jstage.jst.go.jp\/article\/ieejeiss\/136\/12\/136_1694\/_article\/-char\/ja\/\"\u003ehttps:\/\/www.jstage.jst.go.jp\/article\/ieejeiss\/136\/12\/136_1694\/_article\/-char\/ja\/\u003c\/a\u003e\u003c\/p\u003e","brand":"IEEJ-P10","offers":[{"title":"冊子印刷（一般価格770円\/会員価格550円） \/ A4 \/ 5","offer_id":46349976207599,"sku":"IEEJ-RC13612-014-PRT","price":770.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-RC13612_38d7cf86-97e4-411f-93d2-4dc2af546968.png?v=1743166755","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-rc13612-014","provider":"電気学会 電子図書館","version":"1.0","type":"link"}