Login / Signup

A Constraint Optimization-Based Resolution of Verification Collisions in Self-Organizing Networks.

Tsvetko TsvetkovGeorg CarleChristoph FrenzelHenning Sanneck
Published in: GLOBECOM (2015)
Keyphrases
  • constraint optimization
  • constraint programming
  • constraint satisfaction problems
  • neural network
  • constraint networks
  • branch and bound search
  • model checking
  • constraint satisfaction
  • linear program