Fuzzy Maximum Satisfiability http://arxiv.org/abs/1602.02211 、古典論理ではなく Łukasiewicz logic 上でのMaxSAT問題。 DLRs, MILP, WCSP などへ帰着。