Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
is decomposed into:
- nondeterministically selects a constraint violation from those detected by C-test; implicit assumption is that this selection does not influence the performance of the problem solving method and the quality of the result;
strong assumption again
- computes the set of all possible fix combinations that could possibly resolve the selected constraint violation; each combination must be finite
- selects a fix combination, guided by a cost-function