Announcement_2

DiverseSAT 的期刊版正在准备投稿 JAIR。新增实验覆盖 7 个 benchmark 家族、289 个 instance，并系统比较 DW / IW 两类编码与三种搜索策略。