About

Course at the European Summer School of Artificial Intelligence 2026. Serves as an introduction to constraint programming and as a gateway to modern solver technology. A central theme of the course is that modern constraint solvers can be understood not merely as search procedures, but as systems that progressively construct proofs.