# CAIA as a mathematician (Part 3)

All in all, the explanation given for CAIA’s solution of the Saint-Exupéry problem is very simple. It includes only two important choices: what disjunction for the backtrack, and what value for L. For all the other steps of its proof, CAIA uses a combinatorial method: it applies every of its mathematical rules that can be […]