Sign in
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements.
Sahel Alouneh
Sa'ed Abed
Mohammad H. Al Shayeji
Raed Mesleh
Published in:
Artif. Intell. Rev. (2019)
Keyphrases
</>
sat solvers
co occurrence
search algorithm
special case
search tree
max sat