Follow
Carlos Mencía
Title
Cited by
Cited by
Year
Literal-based MCS extraction
C Mencía, A Previti, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
802015
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
552015
Minimal sets on propositional formulae. Problems and reductions
J Marques-Silva, M Janota, C Mencia
Artificial Intelligence 252, 22-50, 2017
412017
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
402016
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
342019
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
332021
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
332015
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
322016
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
282021
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
262018
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
262016
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
252017
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
242013
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
232014
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
222022
Reasoning about inconsistent formulas
J Marques-Silva, C Mencía
Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 2020
222020
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
222019
Efficient axiom pinpointing with EL2MCS
MF Arif, C Mencía, J Marques-Silva
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015
222015
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
212015
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
192019
The system can't perform the operation now. Try again later.
Articles 1–20