Login / Signup

Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing.

Artur NiewiadomskiJaroslaw SkaruzPiotr SwitalskiWojciech Penczek
Published in: Fundam. Informaticae (2016)
Keyphrases
  • simulated annealing
  • artificial intelligence
  • decision support
  • real time
  • machine learning
  • evolutionary algorithm
  • lightweight
  • tabu search
  • optimization method