PPT Slide

• GSAT-style procedures are now a promising alternative to systematic methods.

• Drawback: cannot show unsatisfiability.

Previous slide

Next slide

Back to first slide

View graphic version