Sign in
The SAT+CAS paradigm and the Williamson conjecture.
Curtis Bright
Ilias S. Kotsireas
Vijay Ganesh
Published in:
ACM Commun. Comput. Algebra (2018)
Keyphrases
</>
satisfiability problem
sat solvers
sat problem
multi agent
variable ordering
data sets
neural network
cooperative
search algorithm