20261023_css

国内会議論文「LLM支援によるSATベース衝突探索」と「GIFT-128-MMOに対するSATベース実衝突探索の効率化手法」についてCSS 2026で発表しました。