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