机译:(约束)逻辑编程中并行和分布式计算的过去和现在(以及将来)
Univ Michigan, Ann Arbor, MI 48109 USA;
New Mexico State Univ, Las Cruces, NM 88003 USA;
机译:自动并行化不规则和基于指针的计算:逻辑和约束编程的观点
机译:使用逻辑编程解决分布式约束优化问题
机译:基于约束逻辑编程的分布式制造系统中的自组织
机译:自动并行化不规则和指针的计算:逻辑和约束编程的透视图
机译:约束逻辑编程语言2LP的并行化
机译:基于约束逻辑编程的故障定位重量优先切片
机译:过去和目前(和未来)(约束)逻辑编程的并行和分布式计算