...
机译:确定具有规则约束的一组术语的实例集的规则性是exptime-complete
EXPTIME complexity; Pattern matching; Regular constraints; Regularity; Terms with variables;
机译:确定具有规则约束的一组术语的实例集的规则性是exptime-complete
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:带有约束矩阵有界界限的实例的计算复杂性
机译:关于在常规ILP实例集中查找正ILP实例的可确定性
机译:具有可预测的绑定预测的正式直觉集合论。
机译:探索查询集中的实例间关系以实现可靠的图像集匹配
机译:决定具有常规约束的一组术语的一组实例的规则是exptime-complete
机译:正则集类适当包含在原始递归集中