Keyphrases
- satisfiability problem
- propositional logic
- np complete
- digital photographs
- phase transition
- computational complexity
- satisfiability testing
- smoothness constraint
- special case
- digital camera
- optical flow
- search algorithm
- multiscale
- sat problem
- case study
- computational properties
- stochastic local search
- sat solving
- metadata
- digital pictures
- database