机译:枚举CSP解决方案的结构易处理性
Department of Mathematics University of Calabria">(1);
DEIS University of Calabria">(2);
Structural decomposition methods; Enumeration problems; Tree projections; Tree decompositions;
机译:枚举CSP解决方案的结构易处理性
机译:CSP结构特性的统一框架:定义,复杂性,可扩展性
机译:CSP结构特性的统一框架:定义,复杂性,可扩展性
机译:枚举CSP解决方案的结构可扩展性
机译:通过更高级别的一致性和树分解,CSP具有实用的可处理性。
机译:斑马鱼-用于超微结构研究的局部透明和可伸缩
机译:论树木投射的力量:枚举的结构可追溯性 Csp解决方案
机译:构造细粒度结构操作语义的可追踪推理框架