J
John Tromp
Publications - 1
Citations - 79
John Tromp is an academic researcher. The author has contributed to research in topics: Local consistency & Backtracking. The author has an hindex of 1, co-authored 1 publications receiving 79 citations.
Papers
More filters
Proceedings Article
A fast and simple algorithm for bounds consistency of the all different constraint
TL;DR: This paper presents a fast, simple algorithm for bounds consistency propagation of the alldifferent constraint and shows that this algorithm outperforms existing bounds consistency algorithms and also outperforms--on problems with an easily identifiable property-state-ofthe-art commercial implementations of propagators for stronger forms of local consistency.