Mejora de algoritmos de búsqueda heurística mediante poda por dominancia. aplicación a problemas de scheduling
Tesis doctoral de María Rita Sierra Sánchez Los problemas de scheduling aparecen con profusión en la vida real en numerosos […]
Tesis doctoral de Francisco Javier Larrosa Bondia
Información academica Francisco Javier Larrosa Bondia. Tesis donde Francisco Javier Larrosa Bondia ha sido autor, director o parte del tribunal.
Max sat formalisms with hard and soft constraints
Tesis doctoral de Josep Argelich Roma In this thesis we investigate max-sat formalisms for solving combinatorial optimization problems with hard
A new framework for max-sat solving
Tesis doctoral de Federico Heras Viaga The propositional satisfiability problem (sat) is the problem of determining whether a truth assignment
Propagación acotada en busqueda heurística en tiempo real en entornos inicialmente desconocidos
Tesis doctoral de Hernández Ulloa Carlos Marcelo Los problemas de búsqueda en donde el agente tiene un tiempo limitado para
Design and implementation of exact max-sat solvers
Tesis doctoral de Jordi Planes Cid El problema de la satisfactibilidad (sat) es el problema que trata de decidir si
Egalitarian behaviour in multi unit combinatorial auctions
Tesis doctoral de Javier Murillo Espinar In environments where resources are perishable and the allocation of resources is repeated over
Algorithms and heuristics for total and partial constraint satisfaction.
Tesis doctoral de Francisco Javier Larrosa Bondia Datos académicos de la tesis doctoral «Algorithms and heuristics for total and