Algebra; Approximation algorithms; Databases; Ear; Programming;
机译:加权CSP的边界弧一致性
机译:关于有界算术理论的有限可公理化片段的Herbrand一致性概念
机译:弱算术中Herbrand一致性可证明性的上下限
机译:边界宽度为 ∗ sup>的所有CSP的一致性一致性概念都很弱
机译:通过更高级别的一致性和树分解,CSP具有实用的可处理性。
机译:标志一致性的扩展概念将实验数据与信令和监管网络拓扑相关联
机译:使用对偶原理的Minimax加权CSP中超弱解决方案的一致性
机译:线性微分代数方程和时不变奇异系统的可解性条件,一致性和弱相合性:一般情形。