Presented at ourAMSTERcaps 2025
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the European Research Meeting on Automated Planning and Scheduling (ourAMSTERcaps25).
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the European Research Meeting on Automated Planning and Scheduling (ourAMSTERcaps25).