| |
| * | 2008 | |
|---|---|---|
| 4 | 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 | ||
| 3 | Pavel Surynek, Lukás Chrpa, Jirí Vyskocil: Solving Difficult Problems by Viewing them as Structured Dense Graphs. IICAI 2007: 84-103 | |
| 2 | EE | Lukás Chrpa, Pavel Surynek, Jirí Vyskocil: Encoding of Planning Problems and Their Optimizations in Linear Logic. INAP/WLP 2007: 54-68 |
| 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] [3] |
| 2 | Petr Pudlák | [4] |
| 3 | Petr Stepánek | [1] |
| 4 | Pavel Surynek | [2] [3] |
| 5 | Geoff Sutcliffe | [4] |
| 6 | Josef Urban | [4] |