通用迹与约束：重访 GenTra4CP
计算机科学中的逻辑
2011-06-01 v1
摘要
通用迹格式 GenTra4CP 于 2004 年定义，目标是成为有限域上约束求解器观测的标准迹格式，但此后未被使用。本文基于迹的简单变换，形式化地定义了通用迹的概念。随后分析并偶尔修正了所提议初始格式的缺陷，并展示了通用追踪器在开发可移植应用或标准化工作（特别是在约束领域）中可能带来的益处。
引用
@article{arxiv.1105.6210,
title = {Generic Traces and Constraints, GenTra4CP revisited},
author = {Pierre Deransart},
journal= {arXiv preprint arXiv:1105.6210},
year = {2011}
}