Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method.

Wei Gao Hengyi Lv Qiang Zhang Dunbo Cai

Published in: Algorithms (2018)

Keyphrases

high accuracy
solution space
exhaustive search
cost function
significant improvement
geometric constraints
objective function
optimization algorithm
search methods
similarity measure
training data
search algorithm
search space
clustering method
reversible data hiding