Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.
Mona SafarMohamed ShalanM. Watheq El-KharashiAshraf SalemPublished in: DATE (2007)
Keyphrases
- sat solvers
- shift register
- search space
- boolean formula
- clause learning
- hardware implementation
- sat solving
- sat instances
- sat problem
- random number generator
- boolean satisfiability
- propositional satisfiability
- orders of magnitude
- max sat
- search strategies
- constraint satisfaction
- signal processing
- search tree
- general purpose
- symmetry breaking
- constraint solver
- satisfiability problem
- np hard
- efficient implementation
- genetic algorithm