1
TÍTULO: A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTORES: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings, VOLUME: 8451
INDEXADO EM: DBLP
2
TÍTULO: Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTORES: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), VOLUME: 263
INDEXADO EM: DBLP