Jirí Vyskocil

	2008
4		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		Lukás Chrpa, Pavel Surynek, Jirí Vyskocil: Encoding of Planning Problems and Their Optimizations in Linear Logic. INAP/WLP 2007: 54-68
1		Jirí Vyskocil, Petr Stepánek: Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. MICAI 2007: 305-315

Coauthor Index

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]

Colors in the list of coauthors