Login / Signup

Cliques for Multi-Term Linearization of 0-1 Multilinear Program for Boolean Logical Pattern Generation.

Kedong YanHong Seo Ryoo
Published in: WCGO (2019)
Keyphrases
  • pattern generation
  • logical representation
  • real valued
  • higher order
  • boolean functions
  • computer programs
  • swarm robots
  • logical reasoning
  • neural network
  • random variables
  • mixed integer