MaxSAT Resolution With the Dual Rail Encoding.
Maria Luisa BonetSam BussAlexey IgnatievJoão Marques-SilvaAntónio MorgadoPublished in: AAAI (2018)
Keyphrases
- high speed
- high resolution
- upper bound
- fractal image compression
- combinatorial optimization
- low resolution
- branch and bound algorithm
- database
- consequence finding
- decision trees
- sampling rate
- sat solvers
- variable length
- constraint satisfaction
- dual formulation
- image resolution
- branch and bound
- orders of magnitude
- vector quantization
- image compression
- real time