Ideas for enforcing consistency for BSR
1-consistency based on relevance
- Every action present in the final level will give either P or Q
Pairs of conditions or actions that will not be required together
- O1 or O2 is enough; so R or S is enough, so O5 or O7 is enough
- Stops progress to non-minimal solutions
Sets of conditions or actions that are “inseperable”
- P & Q are inseperable;
- Set of actions supporting P is inseperable with that supporting Q