An Effective Polynomial Technique for Compiling Conditional Effects Away.

Alfonso Emilio Gerevini, Francesco Percassi, Enrico Scala

Browse the full AAAI paper archive.