@inbook{5033dc89c5b74136aff2aed4ff2a07c9,
title = "Timeout-sensitive portfolio approach to enumerating minimal correction subsets for satisfiability problems",
author = "Yuri Malitsky and Barry O'Sullivan and Alessandro Previti and Joao Marques-Silva",
year = "2014",
doi = "10.3233/978-1-61499-419-0-1065",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "1065--1066",
editor = "Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan",
booktitle = "ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings",
address = "Netherlands",
note = "21st European Conference on Artificial Intelligence, ECAI 2014 ; Conference date: 18-08-2014 Through 22-08-2014",
}