The generalization of optimization theory and techniques to other énoncé constitutes a évasé area of applied mathematics.The satisfiability problem, also called the feasibility problem, is just the problem of finding any feasible dénouement at all without regard to impartiale value.For state constrained problems we see how the dilemme optimali