Pseudo-Boolean Proof Logging for Optimal Classical Planning.

Simon Dold, Malte Helmert, Jakob Nordstrm, Gabriele Rger, Tanja Schindler

Browse the full ICAPS paper archive.