Title: Constraint reasoning with incomplete knowledge
Subjects: Constraints (Artificial intelligence)