Carlos Mencía

Carlos Mencía

Universidad de Oviedo - Asturias / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4338896
University of Oviedo
person_outline Carlos Mencía's MOST POPULAR ARTICLES
1-) Literal-based MCS extractionC Mencía, A Previti, J Marques-SilvaTwenty-Fourth International Joint Conference on Artificial Intelligence, 2015732015
2-) Memetic algorithms for the job shop scheduling problem with operatorsR Mencia, MR Sierra, C Mencia, R VarelaApplied Soft Computing 34, 94-105, 2015502015
3-) BEACON: an efficient SAT-based tool for debugging ontologiesMF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-SilvaInternational Conference on Theory and Applications of Satisfiability …, 2016472016
4-) Minimal sets on propositional formulae. Problems and reductionsJ Marques-Silva, M Janota, C MenciaArtificial Intelligence 252, 22-50, 2017462017
5-) Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over timeFJ Gil-Gala, C Mencía, MR Sierra, R VarelaApplied Soft Computing 85, 105782, 2019442019