Petr Pudlák

According to our database, Petr Pudlák authored at least 5 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Classification of 9-dimensional trilinear alternating forms over GF(2).

Jan Hora, Petr Pudlák

Finite Fields Their Appl., 2021

2009

Solving the $100 modal logic challenge.

Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen

J. Appl. Log., 2009

2008

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.

Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Semantic Selection of Premisses for Automated Theorem Proving.

Petr Pudlák

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

1997

On the Amount of Randomness Needed in Distributed Computations.

Bruno Codenotti, Peter Gemmell, Petr Pudlák, Janos Simon

Proceedings of the On Principles Of Distributed Systems, 1997