Proof Logging for Smart Extensional Constraints (Extended Abstract).

Matthew J. McIlree, Ciaran McCreesh

Browse the full IJCAI paper archive.