机译:通过约束逻辑编程生成具有给定复杂度索引的两端有向无环图
机译:用于生成所有完美匹配的约束逻辑编程方法
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:使用约束编程生成随机逻辑程序
机译:约束编程技术,用于为现场可编程门阵列生成高效的硬件架构。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:关于(约束)逻辑编程的第29和第30届讲习班 和第24届功能和(约束)逻辑国际研讨会 程序设计
机译:约束规划的积分或算法与随机化