Keyphrases
- pseudo boolean constraints
- sat encodings
- upper bound
- search space
- sat solvers
- bounded treewidth
- space complexity
- logic programming
- pseudo boolean
- fractal image compression
- propositional satisfiability
- boolean functions
- search algorithm
- tractable classes
- boolean satisfiability
- satisfiability problem
- image quality
- graph coloring
- lower bound
- stochastic local search algorithms
- special case
- propositional formulas
- image compression
- sat instances
- phase transition
- search strategies