Link to current text
CMP.4:3 - Forces
| Force | What must be reconciled |
|---|
| Coverage and early progress | Broad exploration retains alternatives; informed order may obtain a useful witness sooner. |
| Cheap and strong exclusions | A weak inexpensive bound can save more total work than a costly tight bound. |
| One answer and all answers | A rule preserving one optimum can discard other attaining objects. |
| Current candidate and remaining possibility | A feasible result establishes what can be done; a branch bound constrains what remains possible. |
| Reuse and assumptions | A learned conflict can remain useful across branches but fail after constraints change. |
| Return time and strength of conclusion | An interrupted search can still supply a candidate and a bound, while exhaustion supports a stronger conclusion. |