An algorithm for Boolean satisfiability based on generalized orthonormal expansion.

Published in: CoRR (2014)

Keyphrases

learning algorithm
optimal solution
computational complexity
particle swarm optimization
search space
dynamic programming
randomly generated
special case
integer linear programming