CUD@SAT: SAT solving on GPUs.

Alessandro Dal Palù Agostino Dovier Andrea Formisano Enrico Pontelli

Published in: J. Exp. Theor. Artif. Intell. (2015)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
general purpose
sat encodings
sat instances
boolean optimization
propositional satisfiability
max sat
search space
search algorithm
probabilistic planning
satisfiability problem
symmetry breaking
clause learning
randomly generated