On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning

Branching interval algebra: An almost complete picture

“…As witnessed by many previous works [35][36][37][38][39], it is difficult to find a suitable set of benchmarks, so in most of the works the authors were able to experiment only with random instances. Our experiments aim to assess the improvement of the backtracking algorithm when the BA convex and BA Horn fragments are used as Split heuristics as opposed to using basic relations only.…”