@misc{weko_222470_1,
   title	 = "Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー"
}