Eero Hyvönen

• Constraint reasoning with incomplete knowledge