השוואת שיטות

	תכנות אילוצים	תכנון בשלמים
תחום	אופטימיזציה	אופטימיזציה
משפחה	Process / pipeline	Process / pipeline
שנת המקור	2006	1958
הוגה השיטה	Rossi, van Beek & Walsh	Ralph Gomory (cutting planes, 1958); land-and-doig branch-and-bound (1960)
סוג	Declarative combinatorial optimization	Mathematical optimisation — exact combinatorial method
מקור מכונן	Rossi, F., van Beek, P., & Walsh, T. (Eds.). (2006). Handbook of Constraint Programming. Elsevier. ISBN: 978-0-444-52726-4	Wolsey, L.A. (1998). Integer Programming. Wiley. ISBN: 9780471283669
כינויים	Constraint Satisfaction Programming, Constraint-Based Optimization, Kısıt Programlama, CSP Optimization	IP, MIP, mixed-integer programming, mixed-integer linear programming
קשורות	3	4
תקציר	Constraint Programming (CP) is a declarative optimization paradigm in which a problem is formulated as a set of variables, finite domains, and constraints, and a solver systematically searches for assignments that satisfy all constraints. Formalized comprehensively by Rossi, van Beek, and Walsh in their 2006 Handbook of Constraint Programming, CP unifies propagation-based pruning with intelligent backtracking search to tackle combinatorial problems across scheduling, planning, and configuration domains.	Integer programming (IP), also called mixed-integer programming (MIP) when only some variables are restricted to whole numbers, is a branch of mathematical optimisation in which some or all decision variables must take integer or binary values. Building on linear programming, it was formalised through Ralph Gomory's cutting-plane method (1958) and the Land-and-Doig branch-and-bound algorithm (1960), and it has since become the standard exact framework for scheduling, assignment, routing, and resource-allocation problems.