Premise Set Caching for Enumerating Minimal Correction Subsets

Alessandro Previti, Carlos Mencía, Matti Juhani Järvisalo, Joao Marques-Silva

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationThirty-Second AAAI Conference on Artificial Intelligence
Number of pages8
Place of PublicationPalo Alto, CA
PublisherAAAI Press
Publication date2018
ISBN (Print)978-1-57735-800-8
Publication statusPublished - 2018
MoE publication typeA4 Article in conference proceedings
Event32nd AAAI Conference on Artificial Intelligence - New Orleans, United States
Duration: 2 Feb 20187 Feb 2018

Publication series

NameProceedings of the AAAI Conference on Artificial Intelligence
PublisherAssociation for the Advancement of Artificial Intelligence
ISSN (Print)2159-5399
ISSN (Electronic)2374-3468

Fields of Science

  • 113 Computer and information sciences

Cite this