| |
| 2008 | ||
|---|---|---|
| 3 | EE | Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456 |
| 2007 | ||
| 2 | Pavel Surynek, Lukás Chrpa, Jirí Vyskocil: Solving Difficult Problems by Viewing them as Structured Dense Graphs. IICAI 2007: 84-103 | |
| 1 | EE | Jirí Vyskocil, Petr Stepánek: Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. MICAI 2007: 305-315 |
| 1 | Lukás Chrpa | [2] |
| 2 | Petr Pudlák | [3] |
| 3 | Petr Stepánek | [1] |
| 4 | Pavel Surynek | [2] |
| 5 | Geoff Sutcliffe | [3] |
| 6 | Josef Urban | [3] |