| other,10-10-P86-1038,bq | </term> for <term> formulas </term> with <term> | disjunctive values | </term> is <term> NP-complete </term> . To deal | #14828 We have shown that the consistency problem for formulas with disjunctive values is NP-complete. |
|
|
|
|
| other,10-10-P86-1038,bq | </term> for <term> formulas </term> with <term> | disjunctive values | </term> is <term> NP-complete </term> . To deal | #14828 We have shown that the consistency problem for formulas with disjunctive values is NP-complete. |
