Created on July 04, 2025
2025
Our paper “AxSAT - Bringing Axioms to SAT Planning” got accepted at JELIA 2025.