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