SATPLAN

axiom

schemas

instantiated

propositional

clauses

satisfying

model

plan

mapping

length

problem

description

SAT

engine(s)

instantiate

interpret

Previous slide

Next slide

Back to first slide

View graphic version