Non-Portfolio Approaches for Distributed Maximum Satisfiability | IEEE Conference Publication | IEEE Xplore