Improved Exact Solvers for Weighted Max-SAT
Loading...
Date
2005
Authors
Alsinet, Teresa
Manyà Serres, Felip
Planes Cid, Jordi
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Lecture Notes in Computer Science, 2005, vol. 3569, p. 371-377