Gregory Provan. Approximation Techniques for Space-Efficient Compilation in Abductive Inference. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008. 2008. [doi]
Abstract is missing.