...
机译:通过命题可满足性再看图着色
graph coloring; propositional satisfiability; constraint satisfaction; symmetry breaking; independent-set analysis; ALGORITHM;
机译:通过命题可满足性再看图着色
机译:图形着色的约束和满足性推理
机译:图形着色和可满足性问题的放松
机译:通过命题可满足性在蜂窝网络中分配信道的图着色方法
机译:简单图的边着色和简单平面图的边面着色
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:通过命题可满足性再看图形着色