1 paper
Kuncheng Zou, Jiahao Mai, Yonggang Zhang +4
We investigate lifted inference on ordered domains with predecessor relations, where the elements of the domain respect a total (cyclic) order, and every element has a distinct (cl…