Sameet Agarwal Anne Condon On Approximation Algorithms for Hierarchical MAX-SAT. 141-165 1998 26 J. Algorithms 1 db/journals/jal/jal26.html#AgarwalC98