| Literal-based MCS extraction C Mencía, A Previti, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 86 | 2015 |
| Memetic algorithms for the job shop scheduling problem with operators R Mencia, MR Sierra, C Mencia, R Varela Applied Soft Computing 34, 94-105, 2015 | 60 | 2015 |
| Minimal sets on propositional formulae. Problems and reductions J Marques-Silva, M Janota, C Mencia Artificial Intelligence 252, 22-50, 2017 | 47 | 2017 |
| Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over time FJ Gil-Gala, C Mencía, MR Sierra, R Varela Applied Soft Computing 85, 105782, 2019 | 43 | 2019 |
| BEACON: an efficient SAT-based tool for debugging ontologies MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016 | 43 | 2016 |
| Genetic programming with local search to evolve priority rules for scheduling jobs on a machine with time-varying capacity FJ Gil-Gala, MR Sierra, C Mencía, R Varela Swarm and Evolutionary Computation 66, 100944, 2021 | 41 | 2021 |
| Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing MF Arif, C Mencía, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2015, 324-342, 2015 | 35 | 2015 |
| Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators R Mencía, MR Sierra, C Mencía, R Varela Integrated Computer-Aided Engineering 23 (3), 269-285, 2016 | 32 | 2016 |
| Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms FJ Gil-Gala, C Mencía, MR Sierra, R Varela Integrated Computer-Aided Engineering 28 (1), 65-80, 2021 | 31 | 2021 |
| Reasoning about inconsistent formulas J Marques-Silva, C Mencía Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 2020 | 31 | 2020 |
| Improving MCS enumeration via caching A Previti, C Mencía, M Järvisalo, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2017 | 26 | 2017 |
| MCS extraction with sublinear oracle queries C Mencía, A Ignatiev, A Previti, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 26 | 2016 |
| Combining hyper-heuristics to evolve ensembles of priority rules for on-line scheduling FJ Gil-Gala, MR Sierra, C Mencía, R Varela Natural Computing 21 (4), 553-563, 2022 | 25 | 2022 |
| Premise set caching for enumerating minimal correction subsets A Previti, C Mencía, M Järvisalo, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 25 | 2018 |
| Depth-first heuristic search for the job shop scheduling problem C Mencía, MR Sierra, R Varela Annals of Operations Research 206, 265-296, 2013 | 25 | 2013 |
| New schedule generation schemes for the job-shop problem with operators MR Sierra, C Mencía, R Varela Journal of Intelligent Manufacturing 26, 511-525, 2015 | 23 | 2015 |
| A genetic algorithm for job-shop scheduling with operators enhanced by weak Lamarckian evolution and search space narrowing R Mencía, MR Sierra, C Mencía, R Varela Natural Computing 13, 179-192, 2014 | 23 | 2014 |
| Evolutionary one-machine scheduling in the context of electric vehicles charging C Mencía, MR Sierra, R Mencía, R Varela Integrated Computer-Aided Engineering 26 (1), 49-63, 2019 | 22 | 2019 |
| Efficient axiom pinpointing with EL2MCS MF Arif, C Mencía, J Marques-Silva Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015 | 22 | 2015 |
| On computing the union of MUSes C Mencía, O Kullmann, A Ignatiev, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 20 | 2019 |
