computer-supported group formation; constraint logic programming; group formation problem;
机译:基于通用约束的块建模使用约束编程
机译:具有约束的函数逻辑编程的新通用方案
机译:CLPGUI:用于约束逻辑编程的通用图形用户界面
机译:约束逻辑编程的群体形成问题通用模型
机译:具有稳定模型的逻辑编程,可以满足约束条件。
机译:在公共卫生计划中的维生素和矿物干预普遍开发和使用普通世卫组织/ CDC逻辑模型
机译:通用并行约束逻辑编程系统CIaO设计中的一些方法问题
机译:通过逻辑程序和稳定模型语义实现约束满足