constraint-satisfaction-and-optimization