Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)

Diese Arbeit untersucht, wie faktorierte Aufgaben, eine klassische Planungsrepräsentation, in SAT kodiert werden können. Sie schlägt mehrere Strategien zur Übersetzung der faktorisierten Übergangsrelation in die Aussagenlogik vor und analysiert den Einfluss von Aufgabenumwandlungen auf die Leistung SAT-basierter Planer.