Revision history for entry Krajíček, Jan: Lower Bounds to the size of constant-depth propositional proofs [KRALBT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-16T13:41:54updateSystem / admin update
2017-06-18T10:29:37updateSystem / admin update
2016-06-30T13:10:19updateSystem / admin update
2016-02-13T11:48:18update
2015-02-05T07:05:26updateSystem / admin update
2014-04-03T16:56:06updateSystem / admin update
2013-11-04T10:47:50updateSystem / admin update
2013-11-04T10:47:47updateSystem / admin update
2013-11-04T09:21:50updateSystem / admin update