The modeling of problems in a formal language, working in a solution space and applying constraints.
In progress (GI-N2K)