Search, logical reasoning, constraint satisfaction, and the RL fragment IAIO expects.
Uninformed and informed search, then resolution.
CSPs and the sequential-decision material that feeds IAIO.