Carlos Mencía

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 35

Top Topics

Electric Vehicles

Scheduling Problem

Memetic Algorithm

Heuristic Search

Top Venues

Integr. Comput. Aided Eng.

J. Intell. Manuf.

Publications

Francisco Javier Gil Gala, María R. Sierra, Carlos Mencía, Ramiro Varela
Surrogate model for memetic genetic programming with application to the one machine scheduling problem with time-varying capacity. Expert Syst. Appl. 233 (2023)
Raúl Mencía, Carlos Mencía, João Marques-Silva
Efficient Reasoning about Infeasible One Machine Sequencing. ICAPS (2023)
Raúl Mencía, Carlos Mencía, Ramiro Varela
A memetic algorithm for restoring feasibility in scheduling with limited makespan. Nat. Comput. 21 (4) (2022)
Francisco J. Gil-Gala, María R. Sierra, Carlos Mencía, Ramiro Varela
Combining hyper-heuristics to evolve ensembles of priority rules for on-line scheduling. Nat. Comput. 21 (4) (2022)
Francisco J. Gil-Gala, María R. Sierra, Carlos Mencía, Ramiro Varela
The optimal filtering set problem with application to surrogate evaluation in genetic programming. GECCO Companion (2021)
Francisco J. Gil-Gala, Carlos Mencía, María R. Sierra, Ramiro Varela
Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms. Integr. Comput. Aided Eng. 28 (1) (2021)
Francisco J. Gil-Gala, María R. Sierra, Carlos Mencía, Ramiro Varela
Genetic programming with local search to evolve priority rules for scheduling jobs on a machine with time-varying capacity. Swarm Evol. Comput. 66 (2021)
Raúl Mencía, Carlos Mencía, Ramiro Varela
Efficient repairs of infeasible job shop problems by evolutionary algorithms. Eng. Appl. Artif. Intell. 104 (2021)
Carlos Mencía, João Marques-Silva
Reasoning About Strong Inconsistency in ASP. SAT (2020)
João Marques-Silva, Carlos Mencía
Reasoning About Inconsistent Formulas. IJCAI (2020)
Francisco J. Gil-Gala, Carlos Mencía, María R. Sierra, Ramiro Varela
Exhaustive Search of Priority Rules for On-Line Scheduling. ECAI (2020)
Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva
On Computing the Union of MUSes. SAT (2019)
Francisco J. Gil-Gala, Carlos Mencía, María R. Sierra, Ramiro Varela
Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over time. Appl. Soft Comput. 85 (2019)
Carlos Mencía, María R. Sierra, Raúl Mencía, Ramiro Varela
Evolutionary one-machine scheduling in the context of electric vehicles charging. Integr. Comput. Aided Eng. 26 (1) (2019)
Raúl Mencía, Carlos Mencía, Ramiro Varela
Repairing Infeasibility in Scheduling via Genetic Algorithms. IWINAC (2) (2019)
Carlos Mencía, João Marques-Silva
Computing Shortest Resolution Proofs. EPIA (2) (2019)
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
Premise Set Caching for Enumerating Minimal Correction Subsets. AAAI (2018)
Carlos Mencía, María R. Sierra, Raúl Mencía, Ramiro Varela
Genetic Algorithm for Scheduling Charging Times of Electric Vehicles Subject to Time Dependent Power Availability. IWINAC (1) (2017)
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
Improving MCS Enumeration via Caching. SAT (2017)
João Marques-Silva, Mikolás Janota, Carlos Mencía
Minimal sets on propositional formulae. Problems and reductions. Artif. Intell. 252 (2017)
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva
Lean Kernels in Description Logics. ESWC (1) (2017)
Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics (2017)
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva
^+ Ontologies. SAT (2016)
João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza
Efficient Reasoning for Inconsistent Horn Formulae. JELIA (2016)
Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela
Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators. Integr. Comput. Aided Eng. 23 (3) (2016)
Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva
MCS Extraction with Sublinear Oracle Queries. SAT (2016)
M. Fareed Arif, Carlos Mencía, João Marques-Silva
Efficient Axiom Pinpointing with EL2MCS. KI (2015)
M. Fareed Arif, Carlos Mencía, João Marques-Silva
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. CoRR (2015)
Carlos Mencía, Alessandro Previti, João Marques-Silva
Literal-Based MCS Extraction. IJCAI (2015)
Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela
Schedule Generation Schemes and Genetic Algorithm for the Scheduling Problem with Skilled Operators and Arbitrary Precedence Relations. ICAPS (2015)
Carlos Mencía, María R. Sierra, Miguel A. Salido, Joan Escamilla, Ramiro Varela
Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules. AI Commun. 28 (2) (2015)
Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela
Memetic algorithms for the job shop scheduling problem with operators. Appl. Soft Comput. 34 (2015)
M. Fareed Arif, Carlos Mencía, João Marques-Silva
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. SAT (2015)
Carlos Mencía, Alessandro Previti, João Marques-Silva
SAT-Based Horn Least Upper Bounds. SAT (2015)
María R. Sierra, Carlos Mencía, Ramiro Varela
New schedule generation schemes for the job-shop problem with operators. J. Intell. Manuf. 26 (3) (2015)
Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela
A genetic algorithm for job-shop scheduling with operators enhanced by weak Lamarckian evolution and search space narrowing. Nat. Comput. 13 (2) (2014)
Carlos Mencía, María R. Sierra, Ramiro Varela
Intensified iterative deepening A* with application to job shop scheduling. J. Intell. Manuf. 25 (6) (2014)
Carlos Mencía, João Marques-Silva
Efficient Relaxations of Over-constrained CSPs. ICTAI (2014)
Carlos Mencía, María R. Sierra, Ramiro Varela
Depth-first heuristic search for the job shop scheduling problem. Ann. Oper. Res. 206 (1) (2013)
Joan Escamilla, Mario Rodríguez-Molins, Miguel A. Salido, María R. Sierra, Carlos Mencía, Federico Barber
Robust Solutions to Job-Shop Scheduling Problems with Operators. ICTAI (2012)
Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela
Genetic Algorithm for Job-Shop Scheduling with Operators. IWINAC (2) (2011)
María R. Sierra, Carlos Mencía, Ramiro Varela
Optimally Scheduling a Job-Shop with Operators and Total Flow Time Minimization. CAEPIA (2011)
Carlos Mencía, María R. Sierra, Ramiro Varela
Partially Informed Depth-First Search for the Job Shop Problem. ICAPS (2010)