Showing UNSAT / Inconsistencies

Given the success of stochastic search methods on satisfiable instances, a natural question is:

Can we do something similar for unsatisfiable instances?

Previous slide

Next slide

Back to first slide

View graphic version