Optimization and probabilistic satisfiability on nested and co-nested formulas.

Daniele Pretolani

Published in: Ann. Oper. Res. (2011)

Keyphrases

optimization problems
hierarchical structure
neural network
global optimization
database
objective function
probabilistic model
np complete
optimization algorithm
orders of magnitude
satisfiability problem
optimization methods
optimization process
hierarchical data