Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10459.1/46634

An efficient solver for weighted Max-SAT
Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi
2008
Max-SAT
WeightedMax-SAT
Branch and bound
Lower bound
Heuristics
Data structures
Heurística
Algorismes
(c) Springer, (2008)
article
Springer
         

Documentos con el texto completo de este documento

Ficheros Tamaño Formato Vista
012111.pdf 386.1 KB application/pdf Vista/Abrir

Documentos con el texto completo de este documento

Ficheros Tamaño Formato Vista

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a