Carlos Mencía

45 papers A* 6A 8B 3Misc 1Journal 18Unranked 9

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