“…Therefore, to take advantage of powerful SAT solvers, many SAT-encodings of CSPs have been studied recently [11,12,14,15,23,25,26,32,33,34,38]. Although other alternatives have been proposed (e.g., the log encoding [38]) in practice only two types of encoding are usually considered to encode an integer variable in SAT models.…”