Sciweavers

A note on propositional proof complexity of some Ramsey-type statements
Recent countries visiting this post
A note on propositional proof complexity of some Ramsey-type statements
us4United States
ru2Russian Federation
un2
jp1Japan