SOLAR: An automated deduction system for consequence finding

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray

Research output: Contribution to journalArticle (Academic Journal)peer-review

38 Citations (Scopus)

Fingerprint

Dive into the research topics of 'SOLAR: An automated deduction system for consequence finding'. Together they form a unique fingerprint.

Engineering & Materials Science