Publications About Freelunch

Freelunch is an experimental planning system and research tool. It contains state-of-the-art planning algorithms and post-planning optimization algorithms. The following papers describe some of the algorithms implemented in Freelunch.

  1. Tomas Balyo, Lukas Chrpa, Asma Kilani:On Different Strategies for Eliminating Redundant Actions from Plans, Accpeted for SOCS 2014 paper
  2. Tomas Balyo, Lukas Chrpa:Eliminating All Redundant Actions from Plans Using SAT and MaxSAT, Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS) 2014, pp. 16-22, Portsmouth, NH, USA, 2014 paper
  3. Tomas Balyo: Relaxing the Relaxed Exist-Step Parallel Planning Semantics, Proceedings of ICTAI 2013, pp 865-871, Washington, DC, USA, 2013 paper
  4. Tomas Balyo, Roman Bartak, Pavel Surynek: Shortening Plans by Local Re-Planning, Proceedings of ICTAI 2012, Athens, Greece, 2012 paper
  5. Tomas Balyo, Roman Bartak, Pavel Surynek: On Improving Plan Quality via Local Enhancements, Proceedings of SOCS 2012, Niagara Falls, Ontario, Canada, 2012 (short paper) paper
  6. Tomas Balyo, Dan Toropila, Roman Bartak: Two Semantics for Step-Parallel Planning: Which One to Choose?, Proceedings of PLANSIG 2011, Huddersfield, United Kingdom, 2011 paper