default search action
Carlos Mencía
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i2]João Marques-Silva, Carlos Mencía, Raúl Mencía:
The Sets of Power. CoRR abs/2410.07867 (2024) - 2023
- [j16]Francisco Javier Gil Gala
, María R. Sierra
Surrogate model for memetic genetic programming with application to the one machine scheduling problem with time-varying capacity. Expert Syst. Appl. 233: 120916 (2023) - [c26]Raúl Mencía, Carlos Mencía, João Marques-Silva:
Efficient Reasoning about Infeasible One Machine Sequencing. ICAPS 2023: 268-276 - 2022
- [j15]Francisco Javier Gil Gala
Combining hyper-heuristics to evolve ensembles of priority rules for on-line scheduling. Nat. Comput. 21(4): 553-563 (2022) - [j14]Raúl Mencía
A memetic algorithm for restoring feasibility in scheduling with limited makespan. Nat. Comput. 21(4): 577-587 (2022) - 2021
- [j13]Raúl Mencía, Carlos Mencía
Efficient repairs of infeasible job shop problems by evolutionary algorithms. Eng. Appl. Artif. Intell. 104: 104368 (2021) - [j12]Francisco Javier Gil Gala
Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms. Integr. Comput. Aided Eng. 28(1): 65-80 (2021) - [j11]Francisco Javier Gil Gala
Genetic programming with local search to evolve priority rules for scheduling jobs on a machine with time-varying capacity. Swarm Evol. Comput. 66: 100944 (2021) - [c25]Francisco Javier Gil Gala
The optimal filtering set problem with application to surrogate evaluation in genetic programming. GECCO Companion 2021: 129-130 - 2020
- [c24]Francisco Javier Gil Gala
Exhaustive Search of Priority Rules for On-Line Scheduling. ECAI 2020: 2354-2361 - [c23]João Marques-Silva, Carlos Mencía
Reasoning About Inconsistent Formulas. IJCAI 2020: 4899-4906 - [c22]Carlos Mencía, João Marques-Silva:
Reasoning About Strong Inconsistency in ASP. SAT 2020: 332-342
2010 – 2019
- 2019
- [j10]Francisco Javier Gil Gala
Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over time. Appl. Soft Comput. 85 (2019) - [j9]Carlos Mencía
Evolutionary one-machine scheduling in the context of electric vehicles charging. Integr. Comput. Aided Eng. 26(1): 49-63 (2019) - [c21]Carlos Mencía, João Marques-Silva:
Computing Shortest Resolution Proofs. EPIA (2) 2019: 539-551 - [c20]Raúl Mencía
Repairing Infeasibility in Scheduling via Genetic Algorithms. IWINAC (2) 2019: 254-263 - [c19]Carlos Mencía
On Computing the Union of MUSes. SAT 2019: 211-221 - 2018
- [c18]Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva:
Premise Set Caching for Enumerating Minimal Correction Subsets. AAAI 2018: 6633-6640 - 2017
- [j8]João Marques-Silva
Minimal sets on propositional formulae. Problems and reductions. Artif. Intell. 252: 22-50 (2017) - [c17]Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza:
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics 2017 - [c16]Rafael Peñaloza, Carlos Mencía
Lean Kernels in Description Logics. ESWC (1) 2017: 518-533 - [c15]Carlos Mencía
Genetic Algorithm for Scheduling Charging Times of Electric Vehicles Subject to Time Dependent Power Availability. IWINAC (1) 2017: 160-169 - [c14]Alessandro Previti, Carlos Mencía
Improving MCS Enumeration via Caching. SAT 2017: 184-194 - 2016
- [j7]Raúl Mencía
Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators. Integr. Comput. Aided Eng. 23(3): 269-285 (2016) - [c13]João Marques-Silva, Alexey Ignatiev
Efficient Reasoning for Inconsistent Horn Formulae. JELIA 2016: 336-352 - [c12]Carlos Mencía
MCS Extraction with Sublinear Oracle Queries. SAT 2016: 342-360 - [c11]M. Fareed Arif, Carlos Mencía
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. SAT 2016: 521-530 - 2015
- [j6]Carlos Mencía
Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules. AI Commun. 28(2): 365-381 (2015) - [j5]Raúl Mencía
Memetic algorithms for the job shop scheduling problem with operators. Appl. Soft Comput. 34: 94-105 (2015) - [j4]María R. Sierra, Carlos Mencía
New schedule generation schemes for the job-shop problem with operators. J. Intell. Manuf. 26(3): 511-525 (2015) - [c10]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: 165-173 - [c9]Carlos Mencía, Alessandro Previti, João Marques-Silva:
Literal-Based MCS Extraction. IJCAI 2015: 1973-1979 - [c8]M. Fareed Arif, Carlos Mencía
Efficient Axiom Pinpointing with EL2MCS. KI 2015: 225-233 - [c7]M. Fareed Arif, Carlos Mencía
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. SAT 2015: 324-342 - [c6]Carlos Mencía
SAT-Based Horn Least Upper Bounds. SAT 2015: 423-433 - [i1]M. Fareed Arif, Carlos Mencía, João Marques-Silva:
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. CoRR abs/1505.04365 (2015) - 2014
- [j3]Carlos Mencía
Intensified iterative deepening A* with application to job shop scheduling. J. Intell. Manuf. 25(6): 1245-1255 (2014) - [j2]Raúl Mencía
A genetic algorithm for job-shop scheduling with operators enhanced by weak Lamarckian evolution and search space narrowing. Nat. Comput. 13(2): 179-192 (2014) - [c5]Carlos Mencía
Efficient Relaxations of Over-constrained CSPs. ICTAI 2014: 725-732 - 2013
- [j1]Carlos Mencía
Depth-first heuristic search for the job shop scheduling problem. Ann. Oper. Res. 206(1): 265-296 (2013) - 2012
- [c4]Joan Escamilla
Robust Solutions to Job-Shop Scheduling Problems with Operators. ICTAI 2012: 299-306 - 2011
- [c3]María R. Sierra, Carlos Mencía
Optimally Scheduling a Job-Shop with Operators and Total Flow Time Minimization. CAEPIA 2011: 193-202 - [c2]Raúl Mencía
Genetic Algorithm for Job-Shop Scheduling with Operators. IWINAC (2) 2011: 305-314 - 2010
- [c1]Carlos Mencía, María R. Sierra, Ramiro Varela:
Partially Informed Depth-First Search for the Job Shop Problem. ICAPS 2010: 113-120
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-18 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: