On the Amount of Randomness Needed in Distributed Computations. - Bruno Codenotti; Peter Gemmell; Petr Pudlák; Janos Simon (OPODIS, 1997)

Semantic Selection of Premisses for Automated Theorem Proving. - Petr Pudlák (ESARLT, 2007)

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. - Josef Urban; Geoff Sutcliffe; Petr Pudlák; Jirí Vyskocil (IJCAR, 2008)

Solving the $100 modal logic challenge. - Florian Rabe 001; Petr Pudlák; Geoff Sutcliffe; Weina Shen (J. Appl. Log., 2009)

Classification of 9-dimensional trilinear alternating forms over GF(2). - Jan Hora; Petr Pudlák (Finite Fields Their Appl., 2021)