Impact of Refinements on Encoding Size

-- Encodings based on refined plans can be more compact

-- Smaller clauses, fewer variables ...

Encoding size increases & Cost of generating encoding reduces

Encodings based on “refined” plans Direct SAT Encoding

Refined plan sets

Disj. plans + Constraint Prop.

Previous slide

Next slide

Back to first slide

View graphic version