Search alternatives:
"combinatorics" » "combinatorial"

1
by Krajíček, Jan
Published 1995
Cambridge University Press
... of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded...

2
by Krajíček, Jan
Published 2019
Cambridge University Press
...Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra...