Login / Signup
Efficient Minimal Model Generation Using Branching Lemmas.
Ryuzo Hasegawa
Hiroshi Fujita
Miyuki Koshimura
Published in:
CADE (2000)
Keyphrases
</>
cost effective
computationally expensive
search algorithm
artificial neural networks
data model
lightweight