Carregant...
Carregant...

Vés al contingut (premeu Retorn)

MINIMAXSAT: an efficient weighted Max-SAT solver

Autor
Heras, F.; Larrosa, J.; Oliveras, A.
Tipus d'activitat
Article en revista
Revista
Journal of artificial intelligence research
Data de publicació
2008-01
Volum
31
Número
1
Pàgina inicial
1
Pàgina final
32
URL
http://www.lsi.upc.edu/~oliveras/espai/papers/JAIR.pdf Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants