97年の香港開催のAPSECレポート。今回と比べると面白いかも RT @ronbuntter: こんな論文どうですか？ APSEC'97に参加して(中谷 多哉子ほか),1998 http://t.co/S9OtG2CY 第4回アジア・太平洋ソフトウェア工学国際会議(APSE…

また手前味噌ですが、SATとPB,Max-SAT,SMT等の拡張との関係について以前に「SAT問題と他の制約問題との相互発展」というサーベイ論文を書きました。 https://t.co/GJsxWwm8eb (残念ながらサーバがメンテナンス中……) #jssst_ppl2017