A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems

Table 1

Results for asked questions to the illustrative example (framework implementation).

Questions			Parameters	Answer
Q1	3070	16377	—		7	6
	3070	16377	ko1 = ko2 = ko3 = ko4 = 2		316	146
	3070	16377	ko1 = ko2 = ko3 = ko4 = 3		60	28
Q3	3070	16377		,	2	2
Q4	3270	16678		Yes ko1 = 3, ko2 = 4, ko3 = 4, ko4 = 2	2	2
				No	1	1
				Yes ko1 = 4, ko2 = 4, ko3 = 3, ko4 = 2	2	1
Q5	3266	16623		NO	2	2
				YES	12	6
Q6	3560	16917		NO	3	2
				YES	6	2
Q7	3266	16623			16	8
	3560	16917			6	5
	3560	16917			4	3