| |
| 2009 | ||
|---|---|---|
| 2 | EE | Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009) |
| 2008 | ||
| 1 | EE | Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456 |
| 1 | Florian Rabe | [2] |
| 2 | Weina Shen | [2] |
| 3 | Geoff Sutcliffe | [1] [2] |
| 4 | Josef Urban | [1] |
| 5 | Jirí Vyskocil | [1] |