...
机译:快速,灵活的MUS枚举
Illinois Wesleyan Univ, Bloomington, IL 61701 USA;
Univ Coll Dublin, Complex & Adapt Syst Lab, Dublin 2, Ireland;
Illinois Wesleyan Univ, Bloomington, IL 61701 USA;
Univ Coll Dublin, Complex & Adapt Syst Lab, Dublin 2, Ireland|Univ Lisbon, IST, INESC ID, P-1699 Lisbon, Portugal;
Minimal unsatisfiable subsets; Minimal correction sets; MUS enumeration; Infeasibility analysis;
机译:可调的在线MUS / MSS枚举
机译:枚举无环有向图中的连通凸子图的更快算法
机译:使用几何结构更快地枚举单位圆图中的所有最大派系
机译:并行部分MUS枚举
机译:灵活的方案及更大:模式避免类别的实验枚举
机译:具有通用对称性的基于索引的子图匹配算法(ISMAGS):利用对称性实现更快的子图枚举
机译:集成原型的重量枚举器:Abu Surra猜想的证明和连续的松弛,以实现更快的枚举
机译:用于部署预备海军陆战队的个人作战服装设备:更快,更灵活,更高效的过程