SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.
Artur NiewiadomskiJaroslaw SkaruzWojciech PenczekMaciej SzreterMariusz JarockiPublished in: Fundam. Informaticae (2014)
Keyphrases
- main contribution
- computational efficiency
- data structure
- theoretical framework
- fusion framework
- combinatorial optimization
- heuristic search
- orders of magnitude
- theoretical analysis
- computationally efficient
- computational cost
- significant improvement
- computational complexity
- learning algorithm
- worst case
- probabilistic model
- constraint satisfaction problems
- times faster
- information retrieval
- recently developed
- complexity analysis
- machine learning