Thoughts about theAlgorithms

• Both Rintanen/Cadoli algorithms successful

  • Cadoli et al on Random Problems
  • Rintanen on `Conditional Planning' Problems

• Blind search successful

  • especially notable in U-evaluate
  • simple enumeration of possibilities

• SAT preprocessing successful

  • yet work often discarded

• New algorithm should:

  • avoid blind search/avoid discarding SAT work

Previous slide

Next slide

Back to first slide

View graphic version