English español
Search
 

Repositorio de la Universidad de Oviedo. >

Browsing by Author 5044

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 4 to 23 of 30
Issue DateTitleAuthor(s)
2017Debugging EL+ ontologies through horn MUS enumerationIgnatiev, A.; Marques-Silva, J.; Mencía Cascallana, Carlos; Peñaloza, R.
2013Depth-first heuristic search for the job shop scheduling problemMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Varela Arias, José Ramiro
2013An efficient hybrid search algorithm for job shop scheduling with operatorsMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Varela Arias, José Ramiro
2016Efficient reasoning for inconsistent horn formulaeMarques-Silva, J.; Ignatiev, A.; Mencía Cascallana, Carlos; Peñaloza, R.
2019Evolutionary one-machine scheduling in the context of electric vehicles chargingMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Mencía Cascallana, Raúl; Varela Arias, José Ramiro
2011Genetic algorithm for job-shop scheduling with operatorsMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Mencía Cascallana, Carlos; Varela Arias, José Ramiro
2014A genetic algorithm for job-shop scheduling with operators enhanced by weak Lamarckian evolution and search space narrowingMencía Cascallana, Raúl; Sierra Sánchez, María Rita; Mencía Cascallana, Carlos; Varela Arias, José Ramiro
2017Genetic algorithm for scheduling charging times of electric vehicles subject to time dependent power availabilityMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Mencía Cascallana, Raúl; Varela Arias, José Ramiro
2016Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operatorsMencía Cascallana, Raúl; Sierra Sánchez, María Rita; Mencía Cascallana, Carlos; Varela Arias, José Ramiro
2018Genetic programming to evolve priority rules for on-line scheduling on single machine with variable capacityGil Gala, Francisco Javier; Mencía Cascallana, Carlos; Sierra Sánchez, María Rita; Varela Arias, José Ramiro
2009Improving heuristic estimations with constraint propagation in searching for optimal schedulesMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Varela Arias, José Ramiro
2017Improving MCS enumeration via cachingPreviti, A.; Mencía Cascallana, Carlos; Järvisalo, M.; Marques-Silva, J.
2012Intensified iterative deepening A* with application to job shop schedulingMencía Cascallana, Carlos; Sierra Sánchez, María Rita; Varela Arias, José Ramiro
2017Lean kernels in description logicsPeñaloza, R.; Mencía Cascallana, Carlos; Ignatiev, A.; Marques-Silva, J.
2016MCS extraction with sublinear Oracle queriesMencía Cascallana, Carlos; Ignatiev, A.; Previti, A.; Marques-Silva, J.
2015Memetic algorithms for the job shop scheduling problem with operatorsMencía Cascallana, Raúl; Sierra Sánchez, María Rita; Mencía Cascallana, Carlos; Varela, Ramiro
4-Jul-2013Métodos heurísticos avanzados para problemas de schedulingMencía Cascallana, Carlos
2017Minimal sets on propositional formulae. Problems and reductionsMarques-Silva, J.; Janota, M.; Mencía Cascallana, Carlos
2013New schedule generation schemes for the job-shop problem with operatorsSierra Sánchez, María Rita; Mencía Cascallana, Carlos; Varela Arias, José Ramiro
2019On Computing the Union of MUSesMencía Cascallana, Carlos; Kullmann, O.; Ignatiev, A.; Marqués Silva, J.
Showing results 4 to 23 of 30

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias