Constraint checking with partial information

Abstract
No abstract available