Existential Closures for Knowledge Compilation.

Pierre Marquis

Browse the full IJCAI paper archive.