To access the full text documents, please follow this link: 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
         

Full text files in this document

Files Size Format View
012111.pdf 386.1 KB application/pdf View/Open

Full text files in this document

Files Size Format View

Show full item record

Related documents

Other documents of the same author

 

Coordination

 

Supporters