TY - RPRT TI - Fuzzy Maximum Satisfiability AU - Mohamed El Halaby AU - Areeg Abdalla PY - 2016 DO - 10.1145/2908446.2908476 UR - https://arxiv.org/abs/1602.02211 ID - 1602.02211 ER -