Affiliation：Graduate School of Information Science and Technology, Osaka University

Abstract：組み合せデザインの一種であるローケーティングアレイを生成する．ローケーティングアレイは，ソフトウェアのテストにおいて，故障検出と特定を可能にするテスト集合として利用できる．具体的な方法は，ロケーティングアレイの存在判定をブール式の充足可能性問題に帰着して，Glucose SATソルバを用いて解くことである．実験の結果，いくつかの問題例について，これまででは最小のロケーティングアレイを発見できた．

Publication related to your research
（Journal paper）

• T. Konishi, H. Kojima, H. Nakagawa, and T. Tsuchiya, In search of minimum locating arrays (submitted)