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