1 citations · 1 across the 1 of their papers we have counts for
1 paper
Hazem J. Alkhatib, Majd N. Bohssas, Rawad H. Hatem +1
The following paper proposes a new approach to determine whether a logical (CNF) formula is satisfiable or not using probability theory methods. Furthermore, we will introduce an a…