6 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.AI2016★ 3 cited
Solving MaxSAT by Successive Calls to a SAT Solver
Mohamed El Halaby
The Maximum Satisfiability (MaxSAT) problem is the problem of finding a truth assignment that maximizes the number of satisfied clauses of a given Boolean formula in Conjunctive No…
cs.LO2016★ 6 cited
Fuzzy Maximum Satisfiability
Mohamed El Halaby, Areeg Abdalla
In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to Łukasiewicz logic. The MaxSAT problem for a set of formulae Φ is the problem of finding an assignment to the…