Improving the efficiency of minimal model generation by extracting branching lemmas

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Improving the efficiency of minimal model generation by extracting branching lemmas'. Together they form a unique fingerprint.

Engineering & Materials Science