PCSP

Partial constraint satisfaction problem