Improving exact algorithms for MAX-2-SAT

From MaRDI portal
Revision as of 11:06, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:812398

DOI10.1007/S10472-005-7036-ZzbMath1086.68058OpenAlexW1984322914MaRDI QIDQ812398

Haiou Shen, Han-Tao Zhang

Publication date: 23 January 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-005-7036-z




Related Items (7)


Uses Software



Cites Work




This page was built for publication: Improving exact algorithms for MAX-2-SAT