BddCut: Towards Scalable Symbolic Cut Enumeration.

Andrew C. Ling Jianwen Zhu Stephen Dean Brown

Published in: ASP-DAC (2007)

Keyphrases

neural network
symbolic representation
highly scalable
search space
dynamic programming
connectionist models
website
scalable distributed
data sets
scalable video coding
web scale
lightweight
optimal solution
database systems
high level
genetic algorithm
databases