You are here

A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems

Authors: 

Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joao Marques Silva

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