Encodings: Themes cont.

Add declarative control knowledge (as discussed)

Robustness

Small change in original formulation, small

change in encoding.

Add numeric information / “soft constraints”

Weighted MAXSAT?

More compact encodings.

E.g. causal.

Previous slide

Next slide

Back to first slide

View graphic version