Premise Set Caching for Enumerating Minimal Correction Subsets

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

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 proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Thirty-Second AAAI Conference on Artificial Intelligence
Number of pages	8
Place of Publication	Palo Alto, CA
Publisher	AAAI Press
Publication date	2018
Pages	6633-6640
ISBN (Print)	978-1-57735-800-8
Publication status	Published - 2018
MoE publication type	A4 Article in conference proceedings
Event	32nd AAAI Conference on Artificial Intelligence - New Orleans, United States Duration: 2 Feb 2018 → 7 Feb 2018 http://www.aaai.org/Conferences/AAAI/aaai18.php

Publication series

Name	Proceedings of the AAAI Conference on Artificial Intelligence
Publisher	Association for the Advancement of Artificial Intelligence
ISSN (Print)	2159-5399
ISSN (Electronic)	2374-3468

Fields of Science

113 Computer and information sciences

Access to Document

17328-77005-1-PBFinal published version, 609 KBLicence: Unspecified

https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17328

1 Finished

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project

Cite this

@inproceedings{1b98424723c746e1bd59153018eed69c,

title = "Premise Set Caching for Enumerating Minimal Correction Subsets",

keywords = "113 Computer and information sciences",

author = "Alessandro Previti and Carlos Menc{\'i}a and J{\"a}rvisalo, {Matti Juhani} and Joao Marques-Silva",

year = "2018",

language = "English",

isbn = "978-1-57735-800-8",

series = "Proceedings of the AAAI Conference on Artificial Intelligence ",

publisher = "AAAI Press",

pages = "6633--6640",

booktitle = "Thirty-Second AAAI Conference on Artificial Intelligence",

address = "United States",

note = "32nd AAAI Conference on Artificial Intelligence, AAAI 2018 ; Conference date: 02-02-2018 Through 07-02-2018",

url = "http://www.aaai.org/Conferences/AAAI/aaai18.php",

}

Previti, A, Mencía, C, Järvisalo, MJ & Marques-Silva, J 2018, Premise Set Caching for Enumerating Minimal Correction Subsets. in Thirty-Second AAAI Conference on Artificial Intelligence. Proceedings of the AAAI Conference on Artificial Intelligence , AAAI Press, Palo Alto, CA, pp. 6633-6640, 32nd AAAI Conference on Artificial Intelligence, New Orleans, United States, 02/02/2018. <https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17328>

Premise Set Caching for Enumerating Minimal Correction Subsets. / Previti, Alessandro; Mencía, Carlos; Järvisalo, Matti Juhani; Marques-Silva, Joao.

Thirty-Second AAAI Conference on Artificial Intelligence. Palo Alto, CA : AAAI Press, 2018. p. 6633-6640 (Proceedings of the AAAI Conference on Artificial Intelligence ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Premise Set Caching for Enumerating Minimal Correction Subsets

AU - Previti, Alessandro

AU - Mencía, Carlos

AU - Järvisalo, Matti Juhani

AU - Marques-Silva, Joao

PY - 2018

Y1 - 2018

KW - 113 Computer and information sciences

M3 - Conference contribution

SN - 978-1-57735-800-8

T3 - Proceedings of the AAAI Conference on Artificial Intelligence

SP - 6633

EP - 6640

BT - Thirty-Second AAAI Conference on Artificial Intelligence

PB - AAAI Press

CY - Palo Alto, CA

T2 - 32nd AAAI Conference on Artificial Intelligence

Y2 - 2 February 2018 through 7 February 2018

ER -

Premise Set Caching for Enumerating Minimal Correction Subsets

Publication series

Fields of Science

Access to Document

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

Cite this