default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlos 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, 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: 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, 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): 553-563 (2022) - [j14]Raúl Mencía, Carlos Mencía, Ramiro Varela:
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, Ramiro Varela:
Efficient repairs of infeasible job shop problems by evolutionary algorithms. Eng. Appl. Artif. Intell. 104: 104368 (2021) - [j12]Francisco Javier 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): 65-80 (2021) - [j11]Francisco Javier 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: 100944 (2021) - [c25]Francisco Javier 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: 129-130 - 2020
- [c24]Francisco Javier Gil Gala, Carlos Mencía, María R. Sierra, Ramiro Varela:
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, 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) - [j9]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): 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, Carlos Mencía, Ramiro Varela:
Repairing Infeasibility in Scheduling via Genetic Algorithms. IWINAC (2) 2019: 254-263 - [c19]Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva:
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, Mikolás Janota, Carlos Mencía:
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, Alexey Ignatiev, João Marques-Silva:
Lean Kernels in Description Logics. ESWC (1) 2017: 518-533 - [c15]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: 160-169 - [c14]Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva:
Improving MCS Enumeration via Caching. SAT 2017: 184-194 - 2016
- [j7]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): 269-285 (2016) - [c13]João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza:
Efficient Reasoning for Inconsistent Horn Formulae. JELIA 2016: 336-352 - [c12]Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva:
MCS Extraction with Sublinear Oracle Queries. SAT 2016: 342-360 - [c11]M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva:
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. SAT 2016: 521-530 - 2015
- [j6]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): 365-381 (2015) - [j5]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: 94-105 (2015) - [j4]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): 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, João Marques-Silva:
Efficient Axiom Pinpointing with EL2MCS. KI 2015: 225-233 - [c7]M. Fareed Arif, Carlos Mencía, João Marques-Silva:
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. SAT 2015: 324-342 - [c6]Carlos Mencía, Alessandro Previti, João Marques-Silva:
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, María R. Sierra, Ramiro Varela:
Intensified iterative deepening A* with application to job shop scheduling. J. Intell. Manuf. 25(6): 1245-1255 (2014) - [j2]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): 179-192 (2014) - [c5]Carlos Mencía, João Marques-Silva:
Efficient Relaxations of Over-constrained CSPs. ICTAI 2014: 725-732 - 2013
- [j1]Carlos Mencía, María R. Sierra, Ramiro Varela:
Depth-first heuristic search for the job shop scheduling problem. Ann. Oper. Res. 206(1): 265-296 (2013) - 2012
- [c4]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: 299-306 - 2011
- [c3]María R. Sierra, Carlos Mencía, Ramiro Varela:
Optimally Scheduling a Job-Shop with Operators and Total Flow Time Minimization. CAEPIA 2011: 193-202 - [c2]Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela:
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-19 21:44 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:
