other,13-10-P86-1038,bq | <term> disjunctive values </term> is <term> | NP-complete | </term> . To deal with this <term> complexity | #14831 We have shown that the consistency problem for formulas with disjunctive values is NP-complete . |
other,9-11-P86-1038,bq | complexity </term> , we describe how <term> | disjunctive | </term> values can be specified in a way | #14842 To deal with this complexity, we describe how disjunctive values can be specified in a way which delays expansion to disjunctive normal form. |