Using EBL Memos

If any stored memo is a subset of the current goal set, backtrack immediately

• Return the memo as the conflict set

Previous slide

Next slide

Back to first slide

View graphic version