A Constraint Propagation Algorithm for Sums-of-Squares Formulas over the Integers.

Published in: CoRR (2018)

Keyphrases

constraint propagation
search space
dynamic programming
optimal solution
objective function
np hard
computational complexity
constraint satisfaction problems
search algorithm
relational databases
special case
worst case
ant colony optimization
heuristic methods