A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
Publication Type:
Refereed Conference Meeting Proceeding
Conference Name:
CPAIOR 2014
Proceedings:
The Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming
Digital Object Identifer (DOI):
10.na
Publication Date:
13/05/2014
Conference Location:
Ireland
Research Group:
Institution:
National University of Ireland, Cork (UCC)
Open access repository:
No