Petr Pudlák

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 1

Top Topics

Classification Rate

Object Classification

Multi Dimensional

Top Venues

Finite Fields Their Appl.

Publications

Jan Hora, Petr Pudlák
Classification of 9-dimensional trilinear alternating forms over GF(2). Finite Fields Their Appl. 70 (2021)
Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen
Solving the $100 modal logic challenge. J. Appl. Log. 7 (1) (2009)
Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR (2008)
Petr Pudlák
Semantic Selection of Premisses for Automated Theorem Proving. ESARLT (2007)
Bruno Codenotti, Peter Gemmell, Petr Pudlák, Janos Simon
On the Amount of Randomness Needed in Distributed Computations. OPODIS (1997)