An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints.

Li Chen JingZheng Wu Yin-Run Lv Yong-Ji Wang

Published in: J. Comput. Sci. Technol. (2016)

Keyphrases

linear arithmetic constraints
combinatorial optimization
optimization problems
optimization algorithm
databases
data mining
linear programming
solving problems
database systems
lower bound
database management systems
metaheuristic
constraint satisfaction
traveling salesman problem
sat encodings