CFP summary
CP 2026 is the 32nd International Conference on Principles and Practice of Constraint Programming, a core venue for research on constraint reasoning and combinatorial problem solving. The conference brings together work on theoretical foundations, algorithms, modeling, and applications of constraint programming across both academia and practice. As part of FLoC 2026, the Lisbon edition continues the CP series’ focus on advancing expressive modeling and efficient solving technologies.
Topics
Constraint programming theory and practice; satisfiability and SMT connections; optimization and search; global constraints; modeling languages and formalisms; propagation, learning, and explanation techniques; hybrid methods; applications of constraint reasoning in scheduling, planning, verification, and industrial domains.