2020年4月29日
基于蕴含图的求解器改进结果对比（2020-4-29）
摘要： 2020年4月22-29日基于蕴含图冲突层开展多次冲突生成。 上图为原2019年冠军求解器结果 上图为改进后基于冲突层最后一次冲突开展冲突之后得到的结果——注意两者得到的指派结果是不一致的。 阅读全文
posted @ 2020-04-29 16:34 海阔凭鱼跃越 阅读(293) 评论(0) 推荐(0) 编辑