other,4-11-P86-1038,bq | NP-complete </term> . To deal with this <term> | complexity | </term> , we describe how <term> disjunctive | #14837 To deal with this complexity , we describe how disjunctive values can be specified in a way which delays expansion to disjunctive normal form. |