Pavel Pudlák

1. Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups
   1980/12/01 by Péter Pál Pálfy, Péter P. Pálfy, Pavel Pudlák · 2 citations
   Computer Science · #Advanced Algebra and Logic
2. On the complexity of finding falsifying assignments for Herbrand\n disjunctions
   2014/11/12 by Pavel Pudlák, Pudlak, Pavel · 1 citation
   Computer Science · #03D15 #Artificial Intelligence in Games #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning and Algorithms #semigroups and automata theory
3. 06111 Executive Summary – Complexity of Boolean Functions
   2006/01/01 by Matthias Krause, Krause, Matthias, Dieter van Melkebeek +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic
4. Herbrand Game Complexity
   2026/07/21 by Sam Buss, Pavel Pudlák
   #math.LO