Alessandro Previti, Carlos Mencía, Matti Järvisalo, Joao Marques-Silva. Premise Set Caching for Enumerating Minimal Correction Subsets. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 6633-6640, AAAI Press, 2018. [doi]
@inproceedings{PrevitiMJM18, title = {Premise Set Caching for Enumerating Minimal Correction Subsets}, author = {Alessandro Previti and Carlos Mencía and Matti Järvisalo and Joao Marques-Silva}, year = {2018}, url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17328}, researchr = {https://researchr.org/publication/PrevitiMJM18}, cites = {0}, citedby = {0}, pages = {6633-6640}, booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, publisher = {AAAI Press}, }