2017年9月4日
gecode dom分析
摘要： 这个其实很简单，都不用popagator，直接区域求交就完成了 void dom(Home home, const IntVarArgs& x, const IntVarArgs& d, IntPropLevel) { using namespace Int; if (x.size() != d.s 阅读全文
posted @ 2017-09-04 00:03 crax 阅读(197) 评论(0) 推荐(0) 编辑