BDD construction for all solutions SAT and efficient caching mechanism.

Takahisa Toda Koji Tsuda

Published in: SAC (2015)

Keyphrases

efficient solutions
computationally expensive
optimal solution
search algorithm
query processing
cost effective
data access
branch and bound algorithm
boolean functions
sat problem
stochastic local search algorithms