@article{oai:ipsj.ixsq.nii.ac.jp:00169441,
 author = {番原, 睦則 and 鍋島, 英知 and 森畑, 明昌 and BANBARA, Mutsunori and NABESHIMA, Hidetomo and MORIHATA, Akimasa},
 issue = {8},
 journal = {情報処理},
 month = {Jul},
 pages = {702--703},
 title = {SAT技術の進化と応用 〜パズルからプログラム検証まで〜：0．編集にあたって},
 volume = {57},
 year = {2016}
}