Partially Informed Depth-First Search for the Job Shop Problem. - Carlos Mencía; María R. Sierra; Ramiro Varela (ICAPS, 2010)

Optimally Scheduling a Job-Shop with Operators and Total Flow Time Minimization. - María R. Sierra; Carlos Mencía; Ramiro Varela (CAEPIA, 2011)

Genetic Algorithm for Job-Shop Scheduling with Operators. - Raúl Mencía; María R. Sierra; Carlos Mencía; Ramiro Varela (IWINAC (2), 2011)

Robust Solutions to Job-Shop Scheduling Problems with Operators. - Joan Escamilla; Mario Rodríguez-Molins; Miguel A. Salido; María R. Sierra; Carlos Mencía; Federico Barber (ICTAI, 2012)

Depth-first heuristic search for the job shop scheduling problem. - Carlos Mencía; María R. Sierra; Ramiro Varela (Ann. Oper. Res., 2013)

Efficient Relaxations of Over-constrained CSPs. - Carlos Mencía; João Marques-Silva 001 (ICTAI, 2014)

Intensified iterative deepening A* with application to job shop scheduling. - Carlos Mencía; María R. Sierra; Ramiro Varela (J. Intell. Manuf., 2014)

A genetic algorithm for job-shop scheduling with operators enhanced by weak Lamarckian evolution and search space narrowing. - Raúl Mencía; María R. Sierra; Carlos Mencía; Ramiro Varela (Nat. Comput., 2014)

Schedule Generation Schemes and Genetic Algorithm for the Scheduling Problem with Skilled Operators and Arbitrary Precedence Relations. - Raúl Mencía; María R. Sierra; Carlos Mencía; Ramiro Varela (ICAPS, 2015)

Literal-Based MCS Extraction. - Carlos Mencía; Alessandro Previti; João Marques-Silva 001 (IJCAI, 2015)

Efficient Axiom Pinpointing with EL2MCS. - M. Fareed Arif; Carlos Mencía; João Marques-Silva 001 (KI, 2015)

Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. - M. Fareed Arif; Carlos Mencía; João Marques-Silva 001 (SAT, 2015)

SAT-Based Horn Least Upper Bounds. - Carlos Mencía; Alessandro Previti; João Marques-Silva 001 (SAT, 2015)

Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules. - Carlos Mencía; María R. Sierra; Miguel A. Salido; Joan Escamilla; Ramiro Varela (AI Commun., 2015)

Memetic algorithms for the job shop scheduling problem with operators. - Raúl Mencía; María R. Sierra; Carlos Mencía; Ramiro Varela (Appl. Soft Comput., 2015)

New schedule generation schemes for the job-shop problem with operators. - María R. Sierra; Carlos Mencía; Ramiro Varela (J. Intell. Manuf., 2015)

Efficient Reasoning for Inconsistent Horn Formulae. - João Marques-Silva 001; Alexey Ignatiev; Carlos Mencía; Rafael Peñaloza (JELIA, 2016)

BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. - M. Fareed Arif; Carlos Mencía; Alexey Ignatiev; Norbert Manthey; Rafael Peñaloza; João Marques-Silva 001 (SAT, 2016)

MCS Extraction with Sublinear Oracle Queries. - Carlos Mencía; Alexey Ignatiev; Alessandro Previti; João Marques-Silva 001 (SAT, 2016)

Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators. - Raúl Mencía; María R. Sierra; Carlos Mencía; Ramiro Varela (Integr. Comput. Aided Eng., 2016)

Debugging EL+ Ontologies through Horn MUS Enumeration. - Alexey Ignatiev; João Marques-Silva 001; Carlos Mencía; Rafael Peñaloza (Description Logics, 2017)

Lean Kernels in Description Logics. - Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; João Marques-Silva 001 (ESWC (1), 2017)

Genetic Algorithm for Scheduling Charging Times of Electric Vehicles Subject to Time Dependent Power Availability. - Carlos Mencía; María R. Sierra; Raúl Mencía; Ramiro Varela (IWINAC (1), 2017)

Improving MCS Enumeration via Caching. - Alessandro Previti; Carlos Mencía; Matti Järvisalo; João Marques-Silva 001 (SAT, 2017)

Minimal sets on propositional formulae. Problems and reductions. - João Marques-Silva 001; Mikolás Janota; Carlos Mencía (Artif. Intell., 2017)

Premise Set Caching for Enumerating Minimal Correction Subsets. - Alessandro Previti; Carlos Mencía; Matti Järvisalo; João Marques-Silva 001 (AAAI, 2018)

Computing Shortest Resolution Proofs. - Carlos Mencía; João Marques-Silva 001 (EPIA (2), 2019)

Repairing Infeasibility in Scheduling via Genetic Algorithms. - Raúl Mencía; Carlos Mencía; Ramiro Varela (IWINAC (2), 2019)

On Computing the Union of MUSes. - Carlos Mencía; Oliver Kullmann; Alexey Ignatiev; João Marques-Silva 001 (SAT, 2019)

Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over time. - Francisco Javier Gil Gala; Carlos Mencía; María R. Sierra; Ramiro Varela (Appl. Soft Comput., 2019)

Evolutionary one-machine scheduling in the context of electric vehicles charging. - Carlos Mencía; María R. Sierra; Raúl Mencía; Ramiro Varela (Integr. Comput. Aided Eng., 2019)

Exhaustive Search of Priority Rules for On-Line Scheduling. - Francisco Javier Gil Gala; Carlos Mencía; María R. Sierra; Ramiro Varela (ECAI, 2020)

Reasoning About Inconsistent Formulas. - João Marques-Silva 001; Carlos Mencía (IJCAI, 2020)

Reasoning About Strong Inconsistency in ASP. - Carlos Mencía; João Marques-Silva 001 (SAT, 2020)

The optimal filtering set problem with application to surrogate evaluation in genetic programming. - Francisco Javier Gil Gala; María R. Sierra; Carlos Mencía; Ramiro Varela (GECCO Companion, 2021)

Efficient repairs of infeasible job shop problems by evolutionary algorithms. - Raúl Mencía; Carlos Mencía; Ramiro Varela (Eng. Appl. Artif. Intell., 2021)

Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms. - Francisco Javier Gil Gala; Carlos Mencía; María R. Sierra; Ramiro Varela (Integr. Comput. Aided Eng., 2021)

Genetic programming with local search to evolve priority rules for scheduling jobs on a machine with time-varying capacity. - Francisco Javier Gil Gala; María R. Sierra; Carlos Mencía; Ramiro Varela (Swarm Evol. Comput., 2021)

Combining hyper-heuristics to evolve ensembles of priority rules for on-line scheduling. - Francisco Javier Gil Gala; María R. Sierra; Carlos Mencía; Ramiro Varela (Nat. Comput., 2022)

A memetic algorithm for restoring feasibility in scheduling with limited makespan. - Raúl Mencía; Carlos Mencía; Ramiro Varela (Nat. Comput., 2022)

Efficient Reasoning about Infeasible One Machine Sequencing. - Raúl Mencía; Carlos Mencía; João Marques-Silva 001 (ICAPS, 2023)

Surrogate model for memetic genetic programming with application to the one machine scheduling problem with time-varying capacity. - Francisco Javier Gil Gala; María R. Sierra; Carlos Mencía; Ramiro Varela (Expert Syst. Appl., 2023)

The Sets of Power. - João Marques-Silva 001; Carlos Mencía; Raúl Mencía (CoRR, 2024)