Keyphrases
- lower bound
- upper bound
- network architecture
- neural network
- branch and bound
- lower and upper bounds
- model checking
- branch and bound algorithm
- objective function
- optimal solution
- upper and lower bounds
- worst case
- lower bounding
- neural fuzzy
- formal verification
- quadratic assignment problem
- np hard
- bio inspired
- artificial neural
- neural computation
- polynomial approximation
- set of randomly generated instances
- false acceptance rate
- biologically plausible
- neural model
- formal methods
- vc dimension
- learning rules
- neural network model