On approximation algorithms for hierarchical MAX-SAT | IEEE Conference Publication | IEEE Xplore