PPT Slide

Let Ci be any logical clause. Vi is the

new proposition that Ci is violated.

• Results in integer variables vi.

• Introduce weights wi on vi.

Method to reduce heuristic rules to a

conjunctive normal form.

Any rule can be expressed as:

Where Ci is a disjunctive of the form:

Previous slide

Next slide

Back to first slide

View graphic version