@article{南 雄之2017, title={ブール基数制約を経由した擬似ブール制約のSAT符号化法}, author={南 雄之 and 宋 剛秀 and 番原 睦則 and 田村 直之}, journal={人工知能学会研究会資料 人工知能基本問題研究会}, volume={103}, number={ }, pages={04}, year={2017}, doi={10.11517/jsaifpai.103.0_04} }