בעיית סיפוק אילוצים – הבדלי גרסאות