Encoding Global Unobservability for Efficient Translation to SAT.

Miroslav N. Velev

Published in: SAT (2004)

Keyphrases

cost effective
computationally efficient
pseudo boolean constraints
database
neural network
search algorithm
computational complexity
search space
query translation
global information
stochastic local search
bit wise