Range and Set Abstraction using SAT.

Edd Barrett Andy King

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

wide range
input data
data sets
neural network
website
case study
search algorithm
relational databases
small number
np complete
satisfiability problem