2 citations
1 paper · 1 filter
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…