Applying Max-2SAT to Efficient Belief Revision | IEEE Conference Publication | IEEE Xplore