Login / Signup

Efficient Minimal Model Generation Using Branching Lemmas.

Ryuzo HasegawaHiroshi FujitaMiyuki Koshimura
Published in: CADE (2000)
Keyphrases
  • cost effective
  • computationally expensive
  • search algorithm
  • artificial neural networks
  • data model
  • lightweight