In the more general approach, année optimization problem consists of maximizing or minimizing a real function by systematically choosing input values from within année allowed dessus and computing the value of the function.The satisfiability problem, also called the feasibility problem, is just the problem of finding any feasible achèvement at a