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]
@inproceedings{Provan08-0,
title = {Approximation Techniques for Space-Efficient Compilation in Abductive Inference},
author = {Gregory Provan},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008_0043_a2ec7b98507e16ff780c3e8ddb2f56a3.pdf},
researchr = {https://researchr.org/publication/Provan08-0},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008},
}