...
机译:图形着色和可满足性问题的放松
Number partitioning problem; Statistical-mechanics; Spin-glasses; Phase-transition; Constraint problems; Optimization; Model; Kinetics; Behavior; Systems;
机译:图形着色和可满足性问题的放松
机译:通过命题可满足性再看图着色
机译:图形着色和最大集团问题的半定程序松弛
机译:在半定程序设计中放宽图形着色和顶点覆盖
机译:简单图的边着色和简单平面图的边面着色
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:放松图形着色和可满足性问题
机译:使用半定规划放松可满足性问题.1111软件工程