Mencía, Carlos
282  Ergebnisse:
Personensuche X
?
2

The optimal filtering set problem with application to surro..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference Companion,
 
?
5

Efficient repairs of infeasible job shop problems by evolut..:

Mencía, Raúl ; Mencía, Carlos ; Varela, Ramiro
Engineering Applications of Artificial Intelligence.  104 (2021)  - p. 104368 , 2021
 
?
7

Reasoning About Strong Inconsistency in ASP:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,
Mencía, Carlos ; Marques-Silva, Joao - p. 332-342 , 2020
 
?
10

Computing Shortest Resolution Proofs:

, In: Progress in Artificial Intelligence; Lecture Notes in Computer Science,
Mencía, Carlos ; Marques-Silva, Joao - p. 539-551 , 2019
 
?
11

Repairing Infeasibility in Scheduling via Genetic Algorithm:

, In: From Bioinspired Systems and Biomedical Applications to Machine Learning; Lecture Notes in Computer Science,
 
?
12

On Computing the Union of MUSes:

, In: Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019,
 
?
15

Intensified iterative deepening A* with application to job ..:

Mencía, Carlos ; Sierra, María R. ; Varela, Ramiro
Journal of Intelligent Manufacturing.  25 (2013)  6 - p. 1245-1255 , 2013
 
1-15