On quantified weighted MAX-SAT

Authors: Mali, Amol Dattatraya

Journal: Decision Support Systems (2005)

DOI: 10.1016/j.dss.2003.12.004

View in Otero