Keyphrases
- satisfiability problem
- sat solvers
- motion compensated
- sat problem
- sat solving
- stochastic local search algorithms
- propositional satisfiability
- motion compensation
- search algorithm
- digital video
- boolean satisfiability
- stochastic local search
- max sat
- graph coloring
- genetic algorithm
- video coding
- satisfiability testing
- modulo theories
- backtracking search
- search procedures