Learn More
Inspired by the success of Planning as Satisfiability, SatPlan, we present methodologies for viewing everyday programming problems as planning problems, thus converting presumably complex programs(More)
  • 1