Exact Algorithms for MAX-SAT

Loading...
Thumbnail Image
Date
2003
Authors
Zhang, Hantao
Shen, Haiou
Manyà Serres, Felip
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Electronic Notes in Theoretical Computer Science, 2003, vol. 86, núm. 1, p. 190-203