Presented at WHOOPS 2025
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS25). (Slides) (Video)
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS25). (Slides) (Video)