Synthesis of Parallel Sorting Networks using SAT Solvers.

Andreas Morgenstern Klaus Schneider

Published in: MBMV (2011)

Keyphrases

sat solvers
orders of magnitude
constraint satisfaction
sat solving
max sat

boolean satisfiability
sat instances
propositional satisfiability
search strategies

sat problem
search space
clause learning sat solvers
weighted max sat

satisfiability problem
search tree
probabilistic model
np hard