TY - RPRT TI - Maximizing the Number of Satisfied L-clauses AU - Mohamed El Halaby AU - Areeg Abdalla PY - 2018 UR - https://arxiv.org/abs/1806.02930 ID - 1806.02930 ER -