Constraints.
Many systems use constraints to restrict the hypothesis space [1]}, [2]}, [3]}, [4]}, [5]}.
For instance, the Apperception [6]} engine has several built-in constraints, such as a unity condition, which requires that objects are connected via chains of binary relations.
By contrast, we automatically discover constraints before searching for a hypothesis.
