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.
Time | Type | Notes |
2019-05-16T13:41:54 | update | System / admin update |
2017-06-18T10:29:37 | update | System / admin update |
2016-06-30T13:10:19 | update | System / admin update |
2016-02-13T11:48:18 | update | |
2015-02-05T07:05:26 | update | System / admin update |
2014-04-03T16:56:06 | update | System / admin update |
2013-11-04T10:47:50 | update | System / admin update |
2013-11-04T10:47:47 | update | System / admin update |
2013-11-04T09:21:50 | update | System / admin update |
loading ..