A perceptual account of symbolic reasoning Satplan is an approach to planning where a planning problem is reduced to a Boolean satisfiability problem. Programs were themselves data structures that other programs could operate on, allowing the easy definition of higher-level languages. Early work covered both applications of formal…
