Exact Algorithms for MAX-SAT

From MaRDI portal
Publication:4916231

DOI10.1016/S1571-0661(04)80663-7zbMath1261.68073OpenAlexW1993837454MaRDI QIDQ4916231

Haiou Shen, Felip Manyà, Han-Tao Zhang

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80663-7




Related Items (6)


Uses Software


Cites Work


This page was built for publication: Exact Algorithms for MAX-SAT