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

Figure 5

The principle of the transformation of the facts for illustrative example.