Approximation Techniques for Space-Efficient Compilation in Abductive Inference.

Gregory M. Provan

Browse the full ISAIM paper archive.