Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers | IEEE Conference Publication | IEEE Xplore