Content deleted Content added
Importing Wikidata short description: "Programming paradigm wherein relations between variables are stated in the form of constraints" |
m linking |
||
Line 60:
* finding a solution (satisfying all the constraints);
* finding all the solutions of the problem;
* [[automated theorem proving|proving]] the unsatisfiability of the problem.
== Constraint optimization problem ==
| |||