Multiresolution for SAT Checking.
Philippe ChatalicLaurent SimonPublished in: Int. J. Artif. Intell. Tools (2001)
Keyphrases
- multiresolution
- sat solvers
- satisfiability problem
- wavelet transform
- boolean satisfiability
- quadtree
- subband
- coarse to fine
- sat problem
- sat solving
- phase transition
- stochastic local search algorithms
- propositional satisfiability
- stochastic local search
- wavelet coefficients
- search strategies
- variable resolution
- max sat
- search algorithm
- multiresolution representation
- sat instances
- search problems
- modulo theories
- logic programs
- orders of magnitude
- np complete
- image compression