scientific article; zbMATH DE number 1114023
From MaRDI portal
zbMath0890.03032MaRDI QIDQ4375792
Publication date: 8 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
projective planesaffine planesexponential lower boundpigeonhole principleblocking principleshitting set principlesemantic resolution proof
Combinatorics in computer science (68R05) Finite affine and projective planes (geometric aspects) (51E15) Blocking sets, ovals, (k)-arcs (51E21) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)
Related Items
Resolution lower bounds for perfect matching principles, Computing generating sets of minimal size in finite algebras, Resolution lower bounds for the weak functional pigeonhole principle.