Workflow-PDDL
A PDDL2.2 domain/problem generator for a challenging
workflow planning problem arising from mobile computing.
CRF-OPT
A general-purpose high-precision Conditional Random Field (CRF) optimization solver.
MaxPlan
An optimal STRIPS planner based on SAT solving and
long-distance mutual exclusion.
Londex
Long-distance mutual exclusion for STRIPS planning.
SGPlan
A fast, fully automated PDDL planner that has won
prizes in the last two International Planning Competitions.
Discrete
Constrained Search (DCS) System
A discrete nonlinear constrained
optimization software based on the theory of extended saddle points. It
is asymptotically convergent to a constrained global optimum in theory.
|
