ITMS = Incremental LTMS

• Optimizes context switching

• Propagates newly added clauses before deleting unsupported clauses

• Frequently 80% improvement over an LTMS

• Worst case: 5% slower than LTMS in 4/387 cases

Previous slide

Next slide

Back to first slide

View graphic version