On June 1, 2026, a study titled 'Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts' was published on ArXiv AI.
The research investigates factored tasks, a representation in classical planning that enhances SAS+ with various features, including disjunctive preconditions and conditional effects.
This exploration aims to shed light on how these tasks can influence SAT solving, potentially offering new insights into the efficiency and effectiveness of these methods.