DSL, SCSSE, University of Wollongong, Australia and DPSS, CSIR, South Africa;
NICTA and ANU, Canberra, Australia;
Meraka Institute, CSIR, Pretoria, South Africa;
DSL, SCSSE, University of Wollongong, Australia;
机译:放松半环约束满足问题
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:加权约束满足与遗传算法解决视点选择问题
机译:通过转换为加权Semirifing Max-Sat的建模与解决精彩约束满足问题
机译:Lie代数和高级类型的根系统的表示对合半拟仿射截断的表示。
机译:半环的Jacobson自由基
机译:通过变换加权半环max-saT建模并求解半环约束满足问题
机译:求解布尔约束满足问题的通用任务模型的两种应用