Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Reducción de problemas de generación de horarios a SAT

Autor
Asín, R.J.
Tipus d'activitat
Document cientificotècnic
Data
2008-06
Codi
LSI-08-19-R
Repositori
http://hdl.handle.net/2117/87538 Obrir en finestra nova
Resum
Es conocido que muchos problemas de eneración de horarios (problemas de Timetabling) son NP-completos; sin embargo, existe gran interés en investigarlos ya que son problemas que emergen de necesidades reales y de amplia aplicación práctica. En este sentido, varios enfoques han sido propuestos como solución (al menos parcial) a este tipo de problemas. A pesar de ello, la comunidad que los investiga ha prestado poca atención a la posibilidad de reducir (aprovechando su NP-Completitud) estos ...
Citació
Asín, R.J. "Reducción de problemas de generación de horarios a SAT". 2008.
Paraules clau
Sat, Timetabling, Reducción

Participants

Arxius