Optimization of a Compiler from PDDL to Picat (Short Paper).

Francesco Contaldo Marco De Bortoli Agostino Dovier

Published in: ICTCS/CILC (2017)

Keyphrases

optimization problems
optimization algorithm
optimization method
software systems
global optimization
optimization process
constrained optimization
database systems
dynamic environments
planning problems
situation calculus
optimization model
highly optimized