@article{坡山 直樹2017, title={制約充足問題のASP符号化に関する一考察}, author={坡山 直樹 and 番原 睦則 and 宋 剛秀 and 田村 直之}, journal={人工知能学会全国大会論文集}, volume={JSAI2017}, number={ }, pages={1M1OS02a4-1M1OS02a4}, year={2017}, doi={10.11517/pjsai.JSAI2017.0_1M1OS02a4} }