固定URL: https://hdl.handle.net/11094/27263

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
IEICE_E86-D_12_2579	pdf	なし	589 KB	99	2014.04.03

論文情報

ファイル出力

タイトル	Feature Interaction Detection by Bounded Model Checking
著者	NRID 1000050382362 1000050382362 著者名 Yokogawa, Tomoyuki
	NRID 1000030283740 1000030283740 ORCID 0000-0002-3329-9235 0000-0002-3329-9235 researchmap permalink tatsuhirotsuchiya72 tatsuhirotsuchiya72 Scopus Author ID 7403030658 7403030658 著者名 Tsuchiya, Tatsuhiro
	NRID 1000030324859 1000030324859 著者名 Nakamura, Masahide
	NRID 1000050093745 1000050093745 著者名 Kikuno, Tohru
キーワード等	bounded model checking
	SAT
	feature interaction
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	IEICE transactions on information and systems
巻(号)	E86-D(12)
ページ	2579-2587
刊行年月	2003-12-01
言語	英語
ハンドルURL	https://hdl.handle.net/11094/27263
PISSN	09168532
NCID	AA10826272
関連情報 (references)	URI http://search.ieice.org/
アクセス権	open access
権利情報	Copyright © 2003 The Institute of Electronics, Information and Communication Engineers
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る