Mali, Amol Dattatraya Mali, Amol Dattatraya has 1 paper(s) in the AIS Basket corpus on Otero. On quantified weighted MAX-SAT — Decision Support Systems, 2005